Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9fbfb979f2a862045b84efdbdb217a715e4151a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion OneLineComment True Passed
e0d00fbcf41f2c4b1f79dca96692e4ff6a26cbbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion OneLineComment False Passed
11d1b82615bf535d295e61fa5315d081d069e037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion MultiLineComment True Passed
aa6cdd3ab6f4742523891186139b4b0f848d1f05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion MultiLineComment False Passed
4922f9a7f1108925ffe86582481d43f946a76b86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BoolSet True Passed
35ca512b2bdf06ad21e275c2a23e1d6edcdf1d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BoolSet False Passed
0980e6fa36d75d49a07153adc471dde5ce0b7bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Let True Passed
a80c4965180aa93aef9c496d431cd4019cebef95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Let False Passed
fb8a28c57c6abe5b7a950fc89e7f9fde35ad4f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetEmpty True Passed
9fe6ad1524c020c8395c667233654b6aacb9dd6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetEmpty False Passed
710228d03351dfbc927c6d766594cedfecbd53fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set0 True Passed
52183281fb64321cfc52ae0ab3ef9da347c5300b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set0 False Passed
7fd03be4e628309135ef335229dae845cf7773a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set1 True Passed
70cbed58c65b4686af4e5b5357216efb50a0575f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set1 False Passed
be8747a9710a59192282470e4b8a0ac30e6a1826 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set2 True Passed
bfb1f3666d191424872b305bebd55752c7e6ceac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Set2 False Passed
b1832f3515b05f003238f587d314774b7a544874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Choose True Passed
0bc7424038180a60702c0a1132e515e9ec7585a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Choose False Passed
d9a0754819b30120c13b143752d0fa0c7cf829eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunApp True Passed
f6bb2e3c25585e42c7a52f8efd78a2548622cd45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunApp False Passed
b7be530a5fe5334c44b80eba7b1e4d5d046c6418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Prime True Passed
d0c089f450cf9f6e0ebb4be44c02608c109e74e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Prime False Passed
b3d7d67e7d7830d65226c2239f42361ccf101a0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def0 True Passed
be1058cbea77503317cf11700481faa1e2924964 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def0 False Passed
ac1ae465dd765a69e0a17db3614b3d9c0a77544a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef0 True Passed
87c5df86de0cda0dc8ce79d55f1b6eefd5bda364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef0 False Passed
eed848e30c3d56745b4e12cd44cb3ae32a2840a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1 True Passed
70c56b1b394c6a14f7c69b6a28f16087f1309a73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1 False Passed
c7bdeeda3115d995dde536403d57865bd99d54d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef1 True Passed
f886d5faee801579f5c5e64692c9b1945a69cf8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef1 False Passed
aa3231e011f95dcbec1e71bf49246096a5d08753 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def2 True Passed
ce973c68f6750c70a84a382d6762bad4898cb9ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def2 False Passed
28f9bcd77dd15001f3a6e884cd930013cbd75109 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef2 True Passed
e7cf2118610bcc9ace677cff7bea286b966eee95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef2 False Passed
ec16a984ca9842b71aa77bf2a985de4be92adeac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1Recursive True Passed
3c5f557e917bb8eb537aa754376c4d2433bbc837 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1Recursive False Passed
105046285a5682cb0cdd133b5ec998a5a38f6113 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef1Recursive True Passed
3e2f69c3022c81f3a1fdcfda83945a3a3e7d1b1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion LetDef1Recursive False Passed
5f28201655e38ef3fcb1eff8aa874d87ec17d1a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Extends True Passed
7145a0bf25340783a991c708443d0084fd25fbf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Extends False Passed
9a1ec8e7eb884a081ac79b325847391b6aea823d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder True Passed
ed14d1c9bd33afc898e66454652dd28628c1ddba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder False Passed
899564afdf12676f4742c4b1bafec67f72723720 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Variable True Passed
1fdb37b01421c3a3b2bf1f9649bede9db71603b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Variable False Passed
411a5ca416bbf552dbb7837503f3f286f484eb7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Constant True Passed
c4745df8daf43549797c53299cb1f33806fa0f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Constant False Passed
02dfcbee63445dbfbcb96afef004792f4f24861f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ConstantRank1 True Passed
0419c9c177f0e527e4c07b099ff3209dcdec48b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ConstantRank1 False Passed
e5ca8476494267c034dccb1c3695b3b135d671c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Instance True Passed
325fcbcc270a2a64e611cefe8287213bc6fa3cd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Instance False Passed
c90757f15f65f696a79e8317df6207e48dfcdf69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWith True Passed
62f412b97a6c4d465fe4cbd30b0d70de11d2f7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWith False Passed
06ae8f793bd5a493ce906eb443e11e0cfb1fd357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamed True Passed
5822aeacd1c55d4f015b5ba3fd2bb457e28cf389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamed False Passed
1618867a60cdbf5db84ccef2edb128cda22b5595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWith True Passed
0d77d5d2f65d6c949765113b6dfb728faf451100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWith False Passed
448393efa65a7a8fbdba23e0d5da9efc28a854b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceInFolder True Passed
2c9df4fd76a87c59ca6f6f413811039939724d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceInFolder False Passed
2ae28c44646fa6d80d13d38c66c5ea3f7dc18497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWithInFolder True Passed
ba78f00a2892bb6d596082d0703b55044140c97d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceWithInFolder False Passed
c41dd966111cf0b99d4107d1f2955f05462aa4c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedInFolder True Passed
d226c5724bdc3b44612ebce7485b891b8dcb0aee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedInFolder False Passed
133a9adfa4fc141f7657b31ac79ce017991ed5aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder True Passed
56261da4ce9fd0e30e99ff8968bfb43bea0c298a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder False Passed
07e8a3fe6b7678681edc3b60ddd1fe6e37e03acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross2 True Passed
27c4864408b1405a901795dca01101e3a2001484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross2 False Passed
88d33c08c7a1c447c190415b56496e551bafb126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross3 True Passed
2873cc8595fca56a8b4a6f250e435474eccee592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Cross3 False Passed
82f09faa0c6a043f0494aab2ab01c8988ac7daac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunSet True Passed
5e3f736d0690300d3c077c13b1ffcc5dc180e58d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunSet False Passed
41ffd3ea74c25679c70a0c89fda83a75e62b76b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion RecordSet True Passed
edcda6f25b5115a961d8985e2ada9f38a63ffc72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion RecordSet False Passed
e55425df7077c59c2f1136f7a71c1e0138334dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetDiff True Passed
db4de55945b1304cb2fc4a41891f0d3bc2793a77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetDiff False Passed
853ef7d8660d86322915701342f3db3786040fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetUnion True Passed
1a6b30a097073d82a7f316271836c941c7b87d88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetUnion False Passed
3177adf80bdf6172741d547e5a268f377a744e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetIntersect True Passed
da70afbef4711f3100ec4a7b14509a36aafe7ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SetIntersect False Passed
1a26e346a8f55576c232032056e158103c5ab96d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfCond True Passed
98f0ae48bad480993b61792fadb1a1541b86add5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfCond False Passed
d192c707560626c32e13c1e7c1d4dee73bcd723d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfThen True Passed
74330c64d20bdff5a322ff76fd20480c2cc5dd8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfThen False Passed
3b090985a05ecf8945e522240db83df5cd9a66dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfElse True Passed
15811bf001cb62d471d1022c40f316602c6dd157 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfElse False Passed
5a41479b2496c47ce65d10ed1e53b99b31a9c51e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Subset True Passed
60fbcdcb0870bdea92c5ef8495df8482094e9350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Subset False Passed
862d15b659f5510898658c11b758bb732633f186 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Domain True Passed
39d47841313923a717ca5cb57c87e85e4c7cbf8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Domain False Passed
587b201082df640e5d7720176b57c3d2c1e0ead6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Union True Passed
7d8492970b5cf96a7497c1f14603c387b6b1e5c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Union False Passed
e8b2f6b97d0aeaa39f6ea69e918966e8a80dc834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion NumRange True Passed
7989a85c9ad430aa9c9fb454c8080fd950c85d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion NumRange False Passed
9a5236d22e568914a757147d894547973b22c83f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcPermuteFun True Passed
6b4d613db53663db2128a7692675f3fd2b1a95c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcPermuteFun False Passed
142f4bcd37162187dc6139c56c52b9dab8d0f5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcEval True Passed
372a43a813852390ecd9902d7737334423df5a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcEval False Passed
82494d08800681a39ccc318302dba14d4ff602eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagBagToSet True Passed
6dcd356069deb35e639336b3ef09074e750be73b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagBagToSet False Passed
b09e0d58e9ebdffed268f679855ec81676e82986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagSubBag True Passed
5dba1e57ee98c8c4f2383e1507b6bba487c45e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion BagSubBag False Passed
aaa9e0cc0489dda197b7a7a58853b8f73ce5b667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SeqHead True Passed
1cb50d5ec279985214b6c283f93803633b8ac3fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion SeqHead False Passed