Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1d87d83a84f2cdfd14947115ddf84108606fc479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OneLineComment True Passed
756066184b0b11371ee846b31dbb7f3893899d09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OneLineComment False Passed
f059a873304ddb4757c4f1532ffa1bc2a57041e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond MultiLineComment True Passed
2d005fdbe71c19381bdf643f7a12b375d9912df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond MultiLineComment False Passed
efd516145f5f7901b0e12e977ced18acf3788ebb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolTrue True Passed
2ed04d6c5182223e3ea4b6cf996a5887faceffd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolTrue False Passed
9bea6e3f853f4cf54259abc53250d09d817db39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolFalse True Passed
75a53d9e65feb43fa9cf1d9632502e78820460e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BoolFalse False Passed
5c81ce50ba4c446251fc13a3eb66276d7bc2dd2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond And True Passed
99cb8d3a5e78e010c22be9ec8cfa529a6c40acf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond And False Passed
6dc04bee16d16905ea0a13f12635a9df72a4542f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond AndMultiLine True Passed
9d2175bd207a4969628aad1ba4e4114d61e738cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond AndMultiLine False Passed
d977738289589dc04434b27127906f885f3f9072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Imply True Passed
ca6aa96581ad19f4b22b1c2e9895871db86ed25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Imply False Passed
817ef11dd65a4bf0446f8452c52621988504af14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Not True Passed
d24e83074837361b8b93efac8d3bb1ee1f0f9c81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Not False Passed
01dab8d79451941609b34c5100ef15a6976c7c70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Or True Passed
ce7c3684fd001bbbd2ef51cebde3dffa455cacff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Or False Passed
5a15ec4c51c8378962611dfcba64648d3b3e7f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OrMultiLine True Passed
b4bdb9c1e10d7937fa0880c2738d0849c29042f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OrMultiLine False Passed
6b719d0517fd5dfa93f2618976c9b6dff3f68df8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Eq True Passed
3a0e9b65cbff821bd51db789a42ba3781e6a7b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Eq False Passed
da48314740e571dd4db98271635a67128d52f136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Ne True Passed
3140bc9215d9290e9b59aa99cd4ab8bc1baad9fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Ne False Passed
475a4905264d5d8266e31cb849d76889e6047351 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Let True Passed
376771f0e34254dcb5b5b8d98a71664ea316227e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Let False Passed
3d47c5ba71d4ff21cbd0c9ee00a1fc4c11fb03f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond In True Passed
4ac42a79b7db1abf145b84dcbb3b4e7dcc3dd463 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond In False Passed
388bab1d4b8ecc360d0932dbe8a51ef529b5625d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NotIn True Passed
d09bd560b25db813a6bf1940056a1829203261e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NotIn False Passed
cf605dbefc7f9fcf0a7ab021410e4cded7cfec27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Exists True Passed
6447f4b1a3352714fac42da67a4369be4d1d650e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Exists False Passed
9491f7c28d2d7344d526ceb347a99c7950ec5d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Forall True Passed
2a275844ac4fbf8d6c7e45bbecfa79f905ab7c5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Forall False Passed
84a2ae3d39c87dbaf8efc51c188994e24d2624bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Choose True Passed
8884b9dbdc1dfc8e91480d331f4893366d42e7f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Choose False Passed
bb8e50c2a7bad364a67f491ca26c2923c4a95e47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FunApp True Passed
66dea1d1e846f28e57f4c23e4d91ec592865b1a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FunApp False Passed
fa28bc856a46e8559535cb6bbcbcb195df65e13f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Prime True Passed
22c4ef927825d2dad5a103b7e961b0369a79729d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Prime False Passed
4048c8808f345f9b49ee4184d18ae765e0658b65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGt True Passed
ea585c6a7594d6cef1fd858525db13c946b81634 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGt False Passed
ec017b4743b4a242fd60c366197e176bf555f1cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGe True Passed
d53cbde7508b9703f26c20a533c16bf082b141ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGe False Passed
10aae1356baff5914a9832f0a88f68b8a60bc751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLt True Passed
ec8c2cea3e0c8d8e6fc401254fdc08c31aaa3e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLt False Passed
1702b423e9c5dc1c93516ee5d3e3d97f70b6ce0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLe True Passed
2fe70a6e592e0bc8efffe5e000bb5d18c536deac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumLe False Passed
977f014e4960b3531b9bd644b166d535a270226d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def0 True Passed
1555e50c6d20e8eb7304cdce738cd8113db8b282 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def0 False Passed
ad88b5b95f991d748e0c4d452d66a8fe01aae0e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef0 True Passed
345923eaf0b7c8c00e39ce5520f5cb0830e38654 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef0 False Passed
d5c14b881a8ab1e75bcb9c4c060740c8636248d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1 True Passed
24d79ba7bdf7ddd22b07083364b2aa2a51c1838b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1 False Passed
ae38252659c00933a01f13612d408177ad8764a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef1 True Passed
b77c3110f53ff55a2dcda43f2019367f9e1e4a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef1 False Passed
1f61b99ccf5d02cb8e14638faba90fc63e710414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def2 True Passed
90102d899874dbdd06a9daf3a617a38b783b0c8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def2 False Passed
c225b9cbea2b74bea2eaf8e828ab8693f322d937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef2 True Passed
25847dd7eac2c525c9647236d63fa60a7eca34d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef2 False Passed
8d1e75e75074056cf5bd4304811085f836957680 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1Recursive True Passed
441700e9d30a8ce50e450719c8e61f5a9cd0ed58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1Recursive False Passed
c17834258bd40b56426e7b6ba7967cceacc1db8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef1Recursive True Passed
ee67512dab7706f5426e829afedfeb43563ff8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond LetDef1Recursive False Passed
693eb69288fd497277b0b3762d056e528cda60a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Extends True Passed
43584c060272cee0ce767e231330ae7d8680f38a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Extends False Passed
46bbbc364820438f755a8cc1e2aeb0e51caaf305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ExtendsInDifferentFolder True Passed
377500246b036038e24b55b8f41413bddc0e0ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ExtendsInDifferentFolder False Passed
642de999fe4b27bd5ab90459098cc8323d40a5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Variable True Passed
3fe034e98cad7d86c72e5df0a284d39a6d967220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Variable False Passed
3b296f65cbe441c86b130571ea3e2cb1d0231f19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Constant True Passed
610ade41f0e4a3a597e2a2c59eae65af68c3f294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Constant False Passed
5c3852047ce391d475e1de65698b927620eba603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ConstantRank1 True Passed
b3903bfe41d00d854825edc0e4976e4d92b9ce5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ConstantRank1 False Passed
2b166fbf12d61ded57871698f77e4c845f7c7275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Instance True Passed
f8d348c2cdc953ad848fb4d65f87762339a487dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Instance False Passed
eea45f1f5b3c1153d14bfe56b5e9932eee45be2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWith True Passed
bd27a09fa845077339ce1032620cad73db3e0558 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWith False Passed
117b73b481364ae14fc31d7bd83d5b4b0209f9ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamed True Passed
b363a0a6ee35a0465fff9eebe0029759f03284f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamed False Passed
10c7f8cb96b6c5c894f3814f937b8c8ef746c6da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWith True Passed
dfc6f47de9981f4a23a2352dc9724afdf86a101c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWith False Passed
411a94883945139c17d45c0f43d875554e8c7627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceInFolder True Passed
5c33f2a34f47defd87b0eec393787de73fbcc82f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceInFolder False Passed
ca1bf40af36e8ceee6042d89a795301cb930f8d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWithInFolder True Passed
cef10f702fe8ceba19ac745bafa8729caf3e1ee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceWithInFolder False Passed
529ff6579794ba926534acb6c2efcbcd4bb05a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedInFolder True Passed
21b00f36c66f0bcec2be1dc3382c609fb1fbc555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedInFolder False Passed
de7fcfee80a9093d72180c569322f53c4ef281ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWithInFolder True Passed
1c96b0b27d8f3cdb0986b6c01240085cbf3f38b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedWithInFolder False Passed
4f4949468b06675ab00b99791148ba55ca4ad91f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Enabled True Passed
a0935d58390f83256c97f233ad9556326114e8d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Enabled False Passed
8280005b7f3c1589f1f822086dd3346c00e7f226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SubsetEq True Passed
aa6a7095c2ed4aef86b33b8b230282c98bbda8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SubsetEq False Passed
51a5891676a0ac58ab998d342a6f4afe1e5a7eb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfCond True Passed
a8b09c417c4b630a6ae97bd8ee3dad9af1afa2da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfCond False Passed
e6988240cc12a9eac439a9f967f42de8c4a6daea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfThen True Passed
577e1c5f835fec097b2c271b0448fba107de9611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfThen False Passed
3b2a1903e56c0f69f637e8a4ad26abbc81ef929f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfElse True Passed
7b0bb6621e9eabe4ebdc2d573e6881cb78c24cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfElse False Passed
21a00f518310d5496e0b1fc71b7b7ea8614c71c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Unchanged True Passed
c45bc07e2e960f4e14c8dbba4a8dbf198d152eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Unchanged False Passed
7be93a74bf399fcb6e92660ac55a9728688179a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Equivalence True Passed
b7a794479b018b559af9d73058b2a4eff534dbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Equivalence False Passed
4ad362cab37d493a1e80e39669d898a29d365105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond TlcEval True Passed
28cab3d9fca883058829779d5b847cfe771c5dee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond TlcEval False Passed
732b0e9f2ed1a9a6da82488fd8fbc191d3e10fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagBagIn True Passed
43364ecb166395bea2f4cfbc3c1ca968ef8a69e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagBagIn False Passed
091cc8066b4deaadb4c1e528486284b227524586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagSubsetEqBag True Passed
e339e701062964922c9f3b938312884416bde7cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond BagSubsetEqBag False Passed
5944d9ea725f1016c326fd1133a48ee37b49128c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet True Passed
47ae652df9b28b7ec215075142f27fce4e9f4eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet False Passed
142f10a776f8197b9cf872f3b8e039fb707bcf06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SeqHead True Passed
87cb1e726da38c6f8ec5f3eeae46e5438cd5498a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond SeqHead False Passed