Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b0f98d2cdef1c9f9057e10d292f3712aaf04aa2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect OneLineComment True Passed
59116c6e691a4c115c69b5e21a416afcb84dcc7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect OneLineComment False Passed
dbb3edd2b0772a7ceed73703f7cf34b341117045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect MultiLineComment True Passed
5d7d66c67fe4746d9d763cea830540787e5c3fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect MultiLineComment False Passed
e8adb75979fa8554ceb25caf0e36fc5e792da52a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BoolSet True Passed
3aa031ba2e36768247976cf8014e8b8d4c9a2663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BoolSet False Passed
9362c0d02bbbac786e249f39d42315c5295606e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Let True Passed
974425356961f0fb30d84333f3c79abc32994f40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Let False Passed
44b5933b0d019139e70d04f9645e860585262936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetEmpty True Passed
76a14b174338cf7d3998ae96ecd15f50f8459a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetEmpty False Passed
af99c95f53b0173205b3395665c4f9c2c1af23cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set0 True Passed
f542a9f8fd7802eec409ccc365c669b7803f7e16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set0 False Passed
58ae0ddcdd30fae1e93f0fa65904f13e09ab9f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set1 True Passed
2bee235c1947e1385d34a890bed74a234ff24850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set1 False Passed
737faa1b3904f5c2157fa505874dc005c4a7efce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set2 True Passed
41d946509f9f1b6d34cedbf32e60ed17332036aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Set2 False Passed
ba53b301b9c0e4f0dbe859bc507d7d865090ed5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Choose True Passed
794e85708b2b2430ed48ccefe74163d7bfa3413c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Choose False Passed
73fc74a9e797cfdeef5d006ad5b958dc7fcd68db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunApp True Passed
28409931502e77c68c101d33758ecfbffdd70150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunApp False Passed
bc9fff9fd434cf70b59ad6fca72654c163080f0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Prime True Passed
dc5c7e55e93b24846cfe322964cbd44991a58a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Prime False Passed
914af7e54da46e74139b2da741e98d426e645116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def0 True Passed
a331c2daf0324690a215cb03673ac9bce81ef872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def0 False Passed
84596a84d4a8c76284b263c9e8a2a6c8b3d86374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef0 True Passed
34ace59a1a321f94849515bdf45086f1fbe5734f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef0 False Passed
502e6fe436ac86f13e217bc70d3d25c2b72e73a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1 True Passed
1912f7a8fa0fdb0cf2d9225c2c7d3a58a6a1486c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1 False Passed
56fd9b30f998d3f6069b2ea8b59bbfb01da31fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef1 True Passed
6e70aa91e60d7646a75910567f80d70f2096c698 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef1 False Passed
a220158186f2fe49d61ff32bd4b92f7200ca1e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def2 True Passed
9527eeef97486f5dd5fb15cbec246d6fddc89d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def2 False Passed
86abd0abae732752df073d54b5e08512e14b7224 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef2 True Passed
37a89aeb44f20eb1814db2aa9dfc407d9d49a878 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef2 False Passed
6bdb95179d21ef51a80221c6e4cacf5c412ad647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1Recursive True Passed
6ec06138b92557037120d7d30495441d508475e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1Recursive False Passed
1a9edf38e69a69478d5e7ef82bc3a4cde0bc15c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef1Recursive True Passed
c0123efbffb950063773aef232a1cf0ed70c51bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect LetDef1Recursive False Passed
21b8765537a54b9384391b6998fa7227b253c661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Extends True Passed
401785665cc3876befd66d58306f0c0238f74843 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Extends False Passed
f01462738ee4a2ed67aa449c0dfea47126d15da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder True Passed
2660e0847f1e5a9ca0c8be92036403d2566a4729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder False Passed
0f9087e6abf98de2eb0f97567079e0336ecaa40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Variable True Passed
d1ba7c977a86bdee1a3776d1c4a89b08091ccfea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Variable False Passed
e6ded5a7e5b143ac94ba0f7ba44cbce1a4ab4fde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Constant True Passed
e5933f50807a38ac2f034a8b95a7577853892284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Constant False Passed
4dc87b88f8af91c079e622a80275f9c570415284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ConstantRank1 True Passed
29013f90efd7d8b0777681f44323acf3218dd209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ConstantRank1 False Passed
8b5ee671c5ab1a240479549cc4d9b2bf8b9b95ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Instance True Passed
7e2f7a1c41ff326d2bced4159d57e9c97a105860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Instance False Passed
25c455e39e5a158c59f729b28e02399813815586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWith True Passed
83f50a43bf7ac696ab05bbdc584a41e00ee63e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWith False Passed
becad671b91caeedef5c490517ba8d05ee7e764b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamed True Passed
658a9c9f02f5e6c5b7257fc3b36906d4c29f8c4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamed False Passed
91496ad6c2f786227cbf9338c5e305fc8868d046 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWith True Passed
4bc7c9f80b7d97996f3d9bb6a6b310bd0bab863e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWith False Passed
60e5bd2f9a99d079f460c08c0a67f69bb8cb1a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceInFolder True Passed
8f1bf6cad02bc5b8163586e7148aba02e2761b8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceInFolder False Passed
3e4d5e512538efd5f294ef2eca688ae8cf518377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWithInFolder True Passed
5157dfb441410cb3273d0e825988cb76b842c623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceWithInFolder False Passed
75fe6470b0538ded279d45d415ce2e2d281f430c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedInFolder True Passed
ff85cb77947fbf352b7b442f862d5a730b9e4814 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedInFolder False Passed
1933e5a950c164d3f49c501f369329041d4a8a70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder True Passed
782401f6cfacbf3d9a2bfcc4f762cf5bca8021db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder False Passed
884af55b1b161bd75fdba3a29f644b0cb2f320e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross2 True Passed
873a6592e89334589d727728d14b10b6b91ddf32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross2 False Passed
b1654511fc643a63c0a458d3a24842bf266581f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross3 True Passed
a64d5f906a6baf2b3fe8195f8b7a5e551c66b6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Cross3 False Passed
d6cfa70443c834d4bfabc2cbfb1d5cb1c5f0607f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunSet True Passed
d9d75bd111c179f902f533e17a6f0eb22049c996 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunSet False Passed
8346979ad75fd0a8f69e8e0bd666e85f2a523198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect RecordSet True Passed
074b430abaef24de803c230d36e615f7d53be0aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect RecordSet False Passed
ee832996e7897ede10d3e67e283d0bb702381476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetDiff True Passed
35c3f994c4a82571a05a7a337a6fa0c215129810 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetDiff False Passed
57b03e041220330c1c7902ead4e9c14473ac7f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetUnion True Passed
2ddfca51fc4e6d5351d0b25461d64b2fc3c000d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetUnion False Passed
fa8e3aa73ed30561049dda64dc8b82b296234478 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetIntersect True Passed
c5f229631558c9b6125799d729a3826ef76f3193 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SetIntersect False Passed
d2a6b1128bfcc1e048455478a1752b08b0fed6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfCond True Passed
411d7b2cd67a72cd9862c7574e89b189d1f4cfdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfCond False Passed
f2917a82b6d0ca22143c147abab14f8a63aa1a7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfThen True Passed
a6bbc58171fcab1e0e13fc4596b5f2ee3b8a4d48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfThen False Passed
064bd96833d16f499afd6e6c86de9cb0ee4161df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfElse True Passed
670b64ee40a55b7c96e12d48ed2da0974d23428e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfElse False Passed
1986966b4d3dfd26f672c9b618d995ef85bc77b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Subset True Passed
22670c807e8560f178a1d04ff6f984b0c0ef4f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Subset False Passed
60c91de6e8bbb76fa823746183352aeec0e2aa29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Domain True Passed
47a041498e2c7d05cb6e76f5b85fd73ae0534e41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Domain False Passed
b70cf14db66250636b7068e9e20bfec9adbab2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Union True Passed
33bc4701fac90c47d8233560fe201c70728800a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Union False Passed
06764dd3e7a6ee20ae297eb9ff473aeae0014b18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect NumRange True Passed
38fb9b7cc3c7e548a7a1ed109592f6c04af4acf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect NumRange False Passed
21e932b20c5a19d1ad37d28f4cc995df18c0ef9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcPermuteFun True Passed
0b4d9a54e3a90edb744c55aa955dfcf49a52252d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcPermuteFun False Passed
d1579783c2b6907dee527229a602a1f8a319ae6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcEval True Passed
67bfde26e557f302c2c348045c2b4beb593aa0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcEval False Passed
9cffb6129de0d6e9c7e2e92f5473f6acd5aeab02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagBagToSet True Passed
13e694414c3c365b979bc317d13987591f1bb18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagBagToSet False Passed
f8d568f50c0ccedd955aa02a5881eae2440a5e67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagSubBag True Passed
ff884e3ddd7f51910a2f19be986e20a1b234e135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect BagSubBag False Passed
174495ef4b56cf11d8c145e1f6a0eb04f59dfc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SeqHead True Passed
32e1c829bc70b94076079fb52d7ae6477cb420c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect SeqHead False Passed