Index

Tests by case feature SeqHead; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c218c5b794eae803158c9134d743f0e2f1039a0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead OneLineComment True Passed
7a3c2ee2c19a138320f8ed49f9734340615d24e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead OneLineComment False Passed
29ac120885314782d67152f2cb4f4a02470db379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead MultiLineComment True Passed
4178775c1c986b6100c80b3f45861baf67bae006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead MultiLineComment False Passed
470587feebb6e06031ea9e1b63e7fef35c70d25b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Let True Passed
bdda8fa9ea9bec7105ed1d6a334da36cb7db07f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Let False Passed
5f72468be6f4fcdaa7637db67bff788d1f79d288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Choose True Passed
efa227d83bf1442a01ea0ac43ad097e987495041 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Choose False Passed
ce864a37a703e9374274d4fbb2b9ea7de141d230 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Tuple True Passed
3d544ab13a08ee5c1da2dc645fe906059747c9e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Tuple False Passed
bb7d5b3d3f8c92b7163c681177d32398bfd03096 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TupleEmpty True Passed
3da079161ecbb3ebba2f9da7e9a1c7fd425bca08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TupleEmpty False Passed
a4303dce9aa5cc1705c5b9b25734170fa7e3047f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead FunApp True Passed
47833bb7e9db9e7244da2c159cef70c6597b50aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead FunApp False Passed
38ecdbe289fe7808e80e8a1528557c6afad9d972 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Prime True Passed
8f12aeb8deddabbef8e082702538d598a481de3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Prime False Passed
c4944bb78b5df1042f383ac68a5e079d48fb1a8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def0 True Passed
39c2eb93f749fa182d6d6bef7762a2e6216ed92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def0 False Passed
325a8b198438881fd635d237c4722f721773d1c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef0 True Passed
a501d9c17422b0e3ff80d767b3dc20260c272a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef0 False Passed
59bdbce9e18d3796ebd2b0f443bb41fa855d3e81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1 True Passed
fbab7203c648cf55ff66aff6f63476f70cddefb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1 False Passed
7dd9cd7882f5edbc0683942011103f5dcb8e7cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef1 True Passed
c1da84b94f4e3a80dd05678778f0aa56bc1e1dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef1 False Passed
37a324a6b3c11d17694f3f17cad4175990b815c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def2 True Passed
c19bc77ae65c2bf594e1d331d5bce3688723109e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def2 False Passed
fbaa6e1c51859640b1cf6a78b10f39e4d89a34b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef2 True Passed
73a8ccfdbbbbdef4880b47bd9a104e7533cdadd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef2 False Passed
2d48b880692389118f1248d493cb7254d27052d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1Recursive True Passed
bfbebdea8d1db26bc422ea6752c502c2bff1c46a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1Recursive False Passed
2882c881e0b09045d16e85f5b656453eb20b4524 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef1Recursive True Passed
25617900116190949d7fc579411b1e63a8b812f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead LetDef1Recursive False Passed
d4167ef4fda3bee143a13854d0df21ffcbea5caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Extends True Passed
3bb1a0a611d062359e897e2350dd7f0342f20c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Extends False Passed
835a2a1eb70e55e8690c1bb990de7f2d5250ba5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder True Passed
df4ae29d84adbc3e38cb5ef746015b26b7925c88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder False Passed
69dbcd6b26bf83610e3117da28ad9dffc33130aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Variable True Passed
b4a6870b139ea8334217510f2be821a0f17c43f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Variable False Passed
3cbf8a3fc21abccc6a81abf358310d0334ed1398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Constant True Passed
3c444bee6a3b6a7cb40fc8aff22f7c408bbb01c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Constant False Passed
abb10bcda33e93909f97dffc7c029aadc9513af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ConstantRank1 True Passed
fdaa2d2e84fd2ff3b7e8955a8b9291f43699578e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ConstantRank1 False Passed
4ca29b3e3894d3672c58d630135c702c3523b6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Instance True Passed
333f0d346fadd35d12eef4b3ceabe7478647b5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Instance False Passed
2c5a2224bc35493f3cf8d1f42ddeb7205ad70a19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWith True Passed
9be5a053712bb4fd782010b3dab9bbcdb8af67d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWith False Passed
fa572d270c133112f71ff76902c385a1e51bbe86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamed True Passed
0e7c7126a43c5ddcd5f9f9d188a47cbda07c559a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamed False Passed
f00e4d08c5b40f014b3e08db64b9ae510075a258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWith True Passed
0ce94441bf38e2651f672c0f12f655d4cecd0f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWith False Passed
bea803a9c209d0221bda369e188194de9f8b27cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceInFolder True Passed
b92e27f901fbe166761761f6130d675d39bcd860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceInFolder False Passed
4a88a8590ef17a75f7d9b2c8b3fccd17c30fddc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWithInFolder True Passed
4d06fbc18929acf7fe0491ed9f2f7ccbf9c67143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceWithInFolder False Passed
d69e00b4b9990528aa6f56bc2ca9ed3e733cd847 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedInFolder True Passed
ac2f48f170899783858cea8b4b4f6422c3857f73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedInFolder False Passed
2cc2128ab76dbb6b1282472ab4f1383322b4ed00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder True Passed
533667b33cc39d3bceb1fbd4cdaf87bb9131f9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder False Passed
200fadad27a196f8ca9cccfa1024fd228647db1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfCond True Passed
0ca6ab4229f104cb63238340cd77767973f8a6be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfCond False Passed
2e01324e7d9d9dc6867cf536cf275e4ff0362037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfThen True Passed
88a5c850a17196be8fc1bc3d8688b17141e0b143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfThen False Passed
ee67ba8c1751f47ff1fadd266455c1e6f2e04594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfElse True Passed
66a768c230815ad88c115b861f91269b849da27d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfElse False Passed
3bde1cc524bd94ed115f0697c1cbe8e0387e57c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqConcat True Passed
361f7762fb2a22c6df550b4a1059c04cf8a19213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqConcat False Passed
4c1a47443bca01b983f7b495691f9fd604b41e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSelectSeq True Passed
605d472c1bb788a805ff2534aa173a79e3de96a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSelectSeq False Passed
44f66a7c4aee994174961868c5540bf790bb2e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSubSeq True Passed
01a91f1604bb7c72caf1f94051cd66a7f1128036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqSubSeq False Passed
f2f17a83d94e65150647c034ee69ac147779d65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcSortSeq True Passed
a656095bbc44cd2da12cd5cffe644a84143d4379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcSortSeq False Passed
21ef694cf090d6ced918521ff51ba9bf9b517446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcEval True Passed
9b76325589316f275cdddd0484721509144b0319 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcEval False Passed
ebcd456de3c254eb8cf634a2968bf45b4f4a18bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqHead True Passed
ba3238e60d92971a9d1c4766ea6a530552390a05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqHead False Passed
5f81d3ec9fe054f45a42f509d52f47598b93f309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqTail True Passed
27717902bdea2d2b57b119c802f368837c1a2b49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqTail False Passed
1d457db093384a1e561e8c4e3fad283944d26969 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqAppend True Passed
07d69480e737d0f57f68c8313c61a30a26da4676 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqAppend False Passed