Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8576fbabb999140397f1514b534876978f85b6a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BoolSet True Passed
8165488d48ec5ecfb885f2a47e53f2c523cad066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BoolSet False Passed
f02ae9947ccec38ae18398e65a14d97483517bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Let True Passed
fef09e9a37ac23bf5e7fdaee00b2167c9eced7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Let False Passed
a4f7041846df84f3490e3f92226c737216e43965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetEmpty True Passed
15d5c9e78d50a8cf9cb6b8e656ee11f76d15cb58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetEmpty False Passed
f4758cdffa6614eafaf4604d144ada2815b372d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set0 True Passed
8ff2e81ec115239f8dcf72236ea8b205a329cce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set0 False Passed
c51421d51f916e47613d7e24f9df16eaea8a1da0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set1 True Passed
302c193d4df55feb30d2c79ab378286413b51c11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set1 False Passed
b5478428bb94d360db6cf69a0743ef02db565ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set2 True Passed
3442cd9833bc63085297755fcdb9381c5dd5aacc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Set2 False Passed
86c3264fc0c4d1cf4e68de7535e925136c9a260b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Choose True Passed
e3d7dbea7c7e7fc3c8c04ca14f0221e5e6806ad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Choose False Passed
029c7b1b8f539269ad2ef5a20495078bace87d4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunApp True Passed
75b786d966c80d6fac2dea5b74a667910a806a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunApp False Passed
c9a63e0017f2702bcb9377f63c0a977ed9144307 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Prime True Passed
a3f4db401a729399ef245e68c7e8e7a3c78abd30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Prime False Passed
8d5b4509a7f95021054dfe949f54ff6f71d95803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def0 True Passed
800902e81959a7a4aba30e2d6ec404766b5a9c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def0 False Passed
1c0b8bff82bea33c10a0965f9c6ce6bc3bff6fcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef0 True Passed
0708b83171b35f787cef500024c29cfb0a6cce31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef0 False Passed
b41d279fe10264b86a70bb9d7d9a09bf28aeee51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1 True Passed
bd0711bdcbdc800a4ffbc4609e068785020cd5b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1 False Passed
fd82757292453806ebe50c7f2d11fd1019e7fa75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef1 True Passed
bbd9d9f904e7afddc2e821365b5861a9097b9efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef1 False Passed
4a51d3577f13802e36a0058b9383f1ed5e86ac17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def2 True Passed
52d3184f06a681a1aa30636c44b1499d887c93e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def2 False Passed
3feb02dcc7ab67285a740c217be435fef53f3cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef2 True Passed
cb936937674106659f42878bb4bc2233de04e8e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef2 False Passed
cc5edfd695dee48daeb5915af2e366c184ad169b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1Recursive True Passed
f115d377d3cf93b8d737cda81aa55385ed87a77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1Recursive False Passed
ba0c08a1b79ff0dce5a16288b205d05d207a88e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef1Recursive True Passed
5b19c2a1f5f02aeada600d09b3f4d9167509141b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet LetDef1Recursive False Passed
fc4ff48b624e3cf724b028ca19ab9414734604ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Extends True Passed
bdf6a93e80f86a45e7f1635e40ad1fe8b01f0460 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Extends False Passed
a0c66db587510a15a54f71ef874a4ec5d840c668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder True Passed
a2bd3767523e185f564b4d2791c747ff639cb3eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder False Passed
75fc1bc5280083c5faeae5dedd83aa67a106d13d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Variable True Passed
6ba55b84068dfeedef2782b39e07a3c61cbe18e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Variable False Passed
2c52aaef30000489680b675a60ca26dad47737a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Constant True Passed
68a956f3a9a045d4b331c8cc2aab0fd6e3108c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Constant False Passed
0e42bc90c06ef79a9e8f1ecd73bf39ce848e4c81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ConstantRank1 True Passed
efec3167a045607d2670a5bfca3968753956fe12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ConstantRank1 False Passed
5d74b82ba64ab5f9d3c5eeca28ee646fb93b2f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Instance True Passed
bc4e956ed705f42d8dfa47055bea2075983a9670 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Instance False Passed
f8cac25a17de8d2a6891eddb0742da19ec96606a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWith True Passed
0d97e6ad226fc21aade066d2e475dfa3385a020d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWith False Passed
f68e483cae15a3cac907e36a45c66b44b5eb43dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamed True Passed
7211f062b2e0b17c58aac9687b9ed3ce94b420aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamed False Passed
b21cd52c697d75be1c23aa6477a71b476f23ec83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWith True Passed
45e0640ca8430c2668c3b46d98248afc0d2889a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWith False Passed
c2e10fd0480c2859c05e68bf26e9883360012e11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceInFolder True Passed
1617c5e4af1d4f44d0713179b89e43fa77c03978 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceInFolder False Passed
ff9f2f28f7103bea10bb957d90310239764693a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWithInFolder True Passed
53f19ab6257b8619afcc947dd6ec8d51b3e181c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceWithInFolder False Passed
1c517a9df6de91016f31169313b5f68367d10c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedInFolder True Passed
1d0feac9379f0727c021470cb61e7e680c4010c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedInFolder False Passed
eef6ede8a7021526d065075224205fcf295fe971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder True Passed
eca4d1b5881fbaf1697853457172491e30d75b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder False Passed
f7195ea2eeeba343a7fa60018ccd4b4c2d96dbfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross2 True Passed
ac0a1eccf8a5fcab5db95eb3475881b9ac3798f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross2 False Passed
e16a71074f85004ac1d114ad28bc41fc5008f7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross3 True Passed
d2164d7782b9939822e14b165bace35cd70144c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Cross3 False Passed
ad46d0c2133a6e60288523067c9d6893dd20a0d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunSet True Passed
b788846e86e0b2d0117b32b253122dabdb9e8a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunSet False Passed
6afd8ab863046999100d9a5e33b24ad96dff0ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet RecordSet True Passed
1888aaa9ca4764c812c2bb0b672812ec53288954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet RecordSet False Passed
7a5bb4392a2aa6fdaf3259db65f8645b2d9c3f6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetDiff True Passed
bb4c66b8b7861beee1a8752dfe5232e88506525e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetDiff False Passed
c6d07afc8b7f26853c12eef0a5950d9d7ac160a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetUnion True Passed
3bbd58e77541685af520981c1891c423d834e9a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetUnion False Passed
9223648c2a030ab17e95f2485d6ee966a29303db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetIntersect True Passed
0d76cc825f1079ba5348a5583c58de93ffd688dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SetIntersect False Passed
e71d4f033603b4d7769a25ddc2c7f629846a223e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfCond True Passed
1cb11b707eccbb8f900b65a2068f9a9e1585f865 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfCond False Passed
c320078b25fd1d5fd9ef5a2991049ab23226aff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfThen True Passed
da24b78eea093b398b14d4def0cea6f160b0b3fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfThen False Passed
a0d249111bb55eeff3549cba88752ef2d960768e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfElse True Passed
5a538490629bd89f44f85f49a08d5e9adb2b9d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfElse False Passed
3624a020b158d1772530a084f7e4b0f5dbd5c517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Subset True Passed
343c2ceb0c46c0c028febbf3a05e525e06ee93bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Subset False Passed
965d11750566aafa15d99d4ab86d28a7345a66b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Domain True Passed
f6c20b9a86a2991211670e35a10997f119213ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Domain False Passed
c9e79dd3a8cc22c7f0de002bfd6cb5a39096882f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Union True Passed
19a224fe00294ba32434971216a70a4da17f6ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Union False Passed
7d0cf664505ed7041f4415c84b734384e9a9d211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SeqSeq True Passed
8da6e581b82897cdc64d310d5ee25fc925e464cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SeqSeq False Passed
396e5905036d14f29d0d303e3049d441636cd836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet NatSet True Passed
781d078ffcb3b3d5b7ac9cccb6c491b5084e0cd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet NatSet False Passed
74add5d027c5c48a71a17a3cd385a99dbca7b5ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IntSet True Passed
68c3910cf014a0d1c0461d923c580c5bc760aa26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IntSet False Passed
8efede59a46d43764a415467e4739f55ca39945d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet StringSet True Passed
06267dbafd24f6577d0d2483377ed6563974bc85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet StringSet False Passed
fd13028e5e724eb6d20c492bda3e508cbcbbeb21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet NumRange True Passed
6344999ca14e43f491e9df624fa4614bcf827320 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet NumRange False Passed
944c585411b1ecad4a1a8312731bf8c993efe57f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcPermuteFun True Passed
e6a44685214248943c21097a0ab9427b076cb8ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcPermuteFun False Passed
c5175e3f7ffa50c392f5131917ad99f307e9a042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcEval True Passed
af982c237ad702c43dcc48d8e9093dbc9445963b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcEval False Passed
5dcace46b215e19cac1caf956a373245063559b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagBagToSet True Passed
562d81e27d6c02cf5d80a0060c88d5f0726b7e63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagBagToSet False Passed
1d96621e82fe171185b0e0cb3b3402bcf9b96abe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagSubBag True Passed
5aaa7734a11c681223f43ecd9ff082562f88b6ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet BagSubBag False Passed
cdb107ef715376f3e43f5d73bf8c8bc7c1f65651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SeqHead True Passed
0bb48b52bd23ab6561eb5ebe9eff7f453ec37b04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet SeqHead False Passed