Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
305834847755785db66d1ce081c2956efe2f62db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 OneLineComment True Passed
004ffe03f96b40e3b0e47b6effe26e3ff0530d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 OneLineComment False Passed
e642d5b034325806665a7ead314674600a553ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 MultiLineComment True Passed
553fb87d31ebf022e22f801f83c8cea74034ee68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 MultiLineComment False Passed
d7903153f69ed289c9b3e20148f5a9b2ece17859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BoolSet True Passed
779f335ae79e330dfc81a38197beaa08f5e1b724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BoolSet False Passed
1b27de8b793501561dc892ebec620fa27f0c8390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Let True Passed
310ab622542484c2f1199de6db4e17b3f487f67e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Let False Passed
6523867c2d6efa5e0e1c5742989909fee4340b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetEmpty True Passed
07949fa7a03c3528202f5f3810dd62844dfbc833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetEmpty False Passed
153a18b3237323b12a410a6ee85b1e751f270f41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set0 True Passed
d1ea74d8890db544f5e66e8caea0ecf20893c6ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set0 False Passed
4353bd2e7607f2238d31ab4920faacf3ee7ddf36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set1 True Passed
d60e3b97926a7c87501993182632b0b01b8a4fbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set1 False Passed
043a86c4411f657a87a4861335f0fdc4238890d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set2 True Passed
928b357f6e5c4b9d306a1267cd97559e56fdfe53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Set2 False Passed
0be511ac6d01c5cb75da1af92b3ea7bf5f3ebf19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Choose True Passed
d2aba69227cd4554494bce084964188f0e04de73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Choose False Passed
8827129c19cbc6edce4437ffacdfa1b022e1a308 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunApp True Passed
a41d642d209d0f7fef6ee0c34a245d9bd4b5ff20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunApp False Passed
8f136054959879b2bcbcbc29b0228825d747a1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Prime True Passed
e5e9890d3fd40862381a11fa701e02abd68cb118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Prime False Passed
6eb29d887e4c15c59f6e29a9e717724b77b8007c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def0 True Passed
14ae64014e6c84d741c0030eeb753e9d2c76734b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def0 False Passed
81f0cb550bc591f9b61aa2320f4babeb0c30df30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef0 True Passed
f34361fe3c26340fae0346bddec53aa13e836841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef0 False Passed
81b9badfcc0822395171a1122d116cea957e9c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1 True Passed
482ce2000224e5b755bfcf4c6278f32a973157f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1 False Passed
62584f5f492471262abd86c7b980afb547a1c405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef1 True Passed
7753f530affcc098607645861b3ad29fd76299fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef1 False Passed
f4d11f243d0c0b2912a74d6ee66a3610087612fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def2 True Passed
dc2ddb8e8632a01a580454c56b5c68a5c7174ece TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def2 False Passed
bbb34343ca9ea1b40bd5466271212e9d0afa7a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef2 True Passed
ef4b0c4d7cc5bb971ce7871a9ac569d5339f7c23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef2 False Passed
b4d92ac0730d329ed95d52ef381dc5cf6a7975fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1Recursive True Passed
0dec992104c885db660c019ea33570c3f2467cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1Recursive False Passed
49f1ac0aff140952e74a1539fd3156a444e01010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef1Recursive True Passed
00c4d2a96567185db308691f5a8ecece96e031d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 LetDef1Recursive False Passed
9a71f48657f687d8e0f39b19504e255325e8b90a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Extends True Passed
cf533821958b1769c9667a64d80db340eb235e60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Extends False Passed
ad0da9d7c92d5bddf29adfd6045823c49e22aa3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder True Passed
c495bf080bc732805f6d8bc3ae3126b25095fe64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder False Passed
9f2c88a5ab22686185e94b07a3741bf6bc92f192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Variable True Passed
29a775938911c77f3674e48250e131310a3d86d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Variable False Passed
00f177c1d3fed3ce8cfa89c644cb6c25fefd33df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Constant True Passed
056787e0aaa93acdd06e902c3b0b14b3a500c41d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Constant False Passed
8465cf3c8ba32fce423d817e8adbb43a35ed3008 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ConstantRank1 True Passed
dbf2d38db285c531eedeb42f14dba32f2eb02464 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ConstantRank1 False Passed
1a1329992e74c10001a4eff36b5cfc4ebd75e2cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Instance True Passed
b469141d9f819a74e7d59af64e1d1083d1da1e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Instance False Passed
ddf86622e9e24b9610cb7785d0f5670863324398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWith True Passed
7c0779e719468587b05087261c919c2869ab6c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWith False Passed
e9e13f7139eca6fcde78885cf557cda7280948f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamed True Passed
a94e1dd600f4325c249da039adaa1adcbdd31949 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamed False Passed
b352fd2b1d4174a05b59a6e8fc1d1b4bf811c277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWith True Passed
c387146dc158fcac04e263c2d6e9bc82f28d15ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWith False Passed
d41a2bc038336a98b05bbfa2d07ba73ec7e03efd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceInFolder True Passed
0d2446de48481f66d6a359e84401da3fee39f2bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceInFolder False Passed
db8b944f6670e72eec707f515934fcf7e77285c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWithInFolder True Passed
f9b92b2235ea7cf193c804fa9afa65107ae2f6f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceWithInFolder False Passed
23a8da91103814057ecfcde1da958333cef8538f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedInFolder True Passed
f97923e59258f401f62f66a7562fa71c6d8caa19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedInFolder False Passed
c5b2d12f4cb9d585559753c1329e96ff296ba0ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder True Passed
3ea90f1be7bb59b5e41936e85e6f6f492ebcf9cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder False Passed
10ed00656580b0cf74bfda299fb0f32825c7a583 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross2 True Passed
4a787ef62b073f4e62044f0300781ca1918a0e49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross2 False Passed
e8b1d64ff64fb7f88ab6bb359b5c543aff128f48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross3 True Passed
d3d4ac423ce48e3c81358031ed96b8e315603e23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Cross3 False Passed
aa39af8b654eda95f0ad9e43d8c6bf8570dbd3ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunSet True Passed
f8f79770d9904ad3f07709a117e589b90b913337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunSet False Passed
825c2f4a16db9d197ad3ab8f28651bca7a9fee19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 RecordSet True Passed
6a68590240fa1d18241e1dbf0cf6b87fc1224957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 RecordSet False Passed
b40a81df28657c145c51d19ff8f6b2707f9c5ac2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetDiff True Passed
3de39a4576be1dc3b095e7a4856b317946b47fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetDiff False Passed
d271387ab46e0842f510f6c5e80f139ddfca6b4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetUnion True Passed
c3b55e37721707cae340ca2dc2cddd5cd71af7b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetUnion False Passed
643c4ebfdcb5297f1169f6bcbaedaf2d2fc26e71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetIntersect True Passed
17a8c15321a41e108cb2a0f973fc2e20ce2f9964 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SetIntersect False Passed
0ae0ab8233963e2088e66712bdb6180af5e156c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfCond True Passed
f19516bebe10ad677b64bbe298a66caece119a6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfCond False Passed
71b3913b891f0a90c080a2404dcf2864878f42b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfThen True Passed
9252186758e791347dfae8a7af3783646d392f65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfThen False Passed
d770b658541d8eba171a79a2948bdb6e4d60fea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfElse True Passed
49620e48604ed723eb12088636d2fec798d0ae02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfElse False Passed
a32f9f67967b77ce0f95a5fe137b85cbee9e134c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Subset True Passed
122c59f19a7c6b871fd086f972dcf3d2a9219724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Subset False Passed
1937d03d5b05d8d4a5ba2f228d747c197e938694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Domain True Passed
f71f727f1c8a4ca6c1e083b6401064d95a68ce47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Domain False Passed
40b3c350e6d10c2422250b0dbfc91118f639c110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Union True Passed
65199f9da0cf1654cd6b4d11bae86aac46f3ff3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Union False Passed
931bac5ee2772ed0478395327815cc21367e95b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 NumRange True Passed
a8eb500ead13d0eb0668afd0b8654e76798d8fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 NumRange False Passed
1875e451a3bd9e79cbea06f7287946535edb0563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcPermuteFun True Passed
0e5cf9a8ec2f0bffa086776a7e0749df71ce4090 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcPermuteFun False Passed
239df50eeafb72cf944253978598dd7cd9bd9f0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcEval True Passed
3d0ad0d2e2770ff80fb77e8b1670f0f15ac60ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcEval False Passed
0bea09ad71108c2ae7e2d72c10d15d1b28eeab86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagBagToSet True Passed
5ff6575f09cccb60377ef61c38aecebc4d883d75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagBagToSet False Passed
1e3034279e303917d24884fab47907fecdc5faa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagSubBag True Passed
06631035c37fd06658f04916889e30e29c361c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 BagSubBag False Passed
128701b9d6b24ed2c55642aeabf0a7849f618503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SeqHead True Passed
5d54259ea45125064373e3136aeb198ec2956cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 SeqHead False Passed