Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a7ccfc380f4b5164c2c4c4ae1d67ef55da2e63b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OneLineComment True Passed
976bf47d10f7f3672c384ea94dca10623fcc1309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OneLineComment False Passed
e48045e4b8791a4de6a43e19f30fc2f03c11cfd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond MultiLineComment True Passed
8f6ea3a0e2a762770b08fc69b8fa56e4f57bb469 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond MultiLineComment False Passed
143e8ce9279858a44c568a0ed7f56694b3b43b41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolTrue True Passed
1b16be17476ddda1c71805c12a3c4348576d3378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolTrue False Passed
c9a5d97367fd32f6b16577583a251fb8e857db13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolFalse True Passed
ae9bec62ddc9d02a6de89ed4d44d65ec2c584a78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BoolFalse False Passed
bd8027bba157e752bc111d3d2fc544193fda0c9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond And True Passed
6e1f036baa7b26d489a4feca9017f27fee2b309e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond And False Passed
c09f1b71e40e64f8e45000ae1784204547d01b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond AndMultiLine True Passed
aebf32cc7b57e821069dbc6998e73f20fa661e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond AndMultiLine False Passed
37f2aa8a4511eee5507721fa04e6a299b9d93f11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Imply True Passed
707c29ec86efc31b66d40ca5439ed43df3334d6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Imply False Passed
fe32feb9499b0a76cb1e55b86259bd9dbd867f69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Not True Passed
3f29c3a15ca9f1c86a80d9d5d72fa5daaea0df74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Not False Passed
c793231a51fd19a857ce1ba23b1d6900ab430e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Or True Passed
0545440ea9d1c9d59e0f025a325cc346befbca87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Or False Passed
bc78c9343799d1b2a06792d6bf7e1e87830ee38f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OrMultiLine True Passed
ab73c3ccb56d78c1c61ac9ff928905b5fa286e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OrMultiLine False Passed
9c6b3da16f0072e30a021f8e2e191fb3e6c7cf7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Eq True Passed
64257559a6a62ba11cee60b1af4859093cc29724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Eq False Passed
cf51ac621f0c3f05504ae3d995c765ae9cee6792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Ne True Passed
3224de28bf0e016c7945b623d8c2bd86c83d8fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Ne False Passed
c1055404986c407832f18419e1f09ed70c07925d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Let True Passed
97059335a4b895f552b174e3e08e605bcccd516a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Let False Passed
52f3a44dd3c2c1381451217c2c6ee66aaeafdcf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond In True Passed
be14c6ba459a3cd63efed3a0ebc4a22c1c5f15c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond In False Passed
36fc3026afaea32c1679a778acac9011ba43d2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NotIn True Passed
ef35fbac8e2e551a36a86f3c98bc1d5b8eca7808 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NotIn False Passed
68e9086a24b4742323c93e024b925bd05eb7731e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Exists True Passed
60b72b9e1c9b6d9347a743a8b2ff989f9471e75b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Exists False Passed
e611ce1b4849bb2eb1048986354787b707427775 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Forall True Passed
e96f654bd358ece2ddc896fa212a148aaad45657 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Forall False Passed
7da2d3bbff1138eac85e3c9139cde39c99b02434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Choose True Passed
caf239623f3e99f883f13c5217d6aa5355a0dc2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Choose False Passed
dad32c70bc8d5214e9bf8a88dee4262bda1e1c0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FunApp True Passed
9053552d33c515f404d945c938b92e2c15813d02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FunApp False Passed
6d49c5b922133ac6e5eb59e71abbced14ab01a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Prime True Passed
9b322d2faaff7e96f4d972af36b3b128ce02b405 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Prime False Passed
16507fc74e3fb105a60073d40ea544534fdf7055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGt True Passed
040e98eb11cfa52ed7c56f5134bb89ee1a825cdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGt False Passed
43baa8439ea1f7333058496087f93cdb9a1a5778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGe True Passed
0ea5a1beec0f1d5d4e4815aceb27cc44fbc9a24c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumGe False Passed
6e7535e608c5af990e8e4a7b17d6c5ca492af8aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLt True Passed
f892f5a74452490cf9c394a8b27f20c1e3941028 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLt False Passed
a1411a4350c48c67489c1dbc8f881b598aa6d2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLe True Passed
691749f8489c407d280bd10472431f57b5423eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NumLe False Passed
9c015f9e3eb27f7dfb758110bb819d83bce9b4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def0 True Passed
e25e33e8b4aedf03a5b952ec90c46e80d8be9679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def0 False Passed
b7b63337866698c60bdb1fb04c06ef205967e237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef0 True Passed
f21d94ecbb2c55fc7ab362e17946dbd6481ed0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef0 False Passed
3a2400148aea154aada96f61bf3a34b4583de88f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def1 True Passed
9e7bbc37f2291f142c1dc609b0e7ef43d4327cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def1 False Passed
aa0458b1a9b48194c6f85b1a8b9e9ade39a8ed98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef1 True Passed
2a93b818f8f984768525a26e9c54ef9754cfc5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef1 False Passed
9b3c06472d4d0616203282025f310b636215bee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def2 True Passed
df350e2ef0e338eb12a4aad687959c3a16e9c037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def2 False Passed
5851a7fe7156f5c92bd3e69b368747ab77bd4687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef2 True Passed
ac6fb4746ecdd4e0465aaf6142498388fb0ab094 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef2 False Passed
e2a2c8d23c80b361874fd66e7210dd55621059c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def1Recursive True Passed
2acfcdc349bd64a90836081919d1734b534de0f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def1Recursive False Passed
969bce504c0a602081b91c8eede87d3844af8ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef1Recursive True Passed
34a4706eb47338c671be1d73e8366dc6b9eb99d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond LetDef1Recursive False Passed
779fcb7d208bc4a655df07f0e5a0cceed3f50c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Extends True Passed
0ae07d923aa52ed2069ea673476ccfb907b418f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Extends False Passed
24287e35187d7ee04b4826a61d9d9ce9e5e16c12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ExtendsInDifferentFolder True Passed
7006e8d8e48fae8098ab076c8ba2b49ab1864b80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ExtendsInDifferentFolder False Passed
6885a81c56f363df26d1e6c6bf0a1b40c0d2848a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Variable True Passed
7f148d856889ef8542e356abfc6286bc7ad624e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Variable False Passed
00ecea57295e3cf9a1a8cc653c9aaffe60c5c8c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Constant True Passed
56cabc3d6192f03ea406c1ef7639c3df57b25c50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Constant False Passed
a57101c8e985e5a93e1f2e519a8adca73f14de84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ConstantRank1 True Passed
eb5015afd9c4d8a889bc449897ee3cb492ab1ae7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond ConstantRank1 False Passed
8befcd89f1fc335fa5c4da8fd0c8059f6946c5b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Instance True Passed
22af985fd6ffd7d8922a384090b9632de123559a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Instance False Passed
5e08a9d19b7db673b1a59146fbba66ebac1d6dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWith True Passed
4f0013ebc9af3a57d12e9a66006def687177e5fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWith False Passed
eaade68d029f843e26cbba07438b84933563940a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamed True Passed
14a19c9874ae6d35a5dda406439050b545432229 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamed False Passed
42098872c5242fac76eb0d8b09423c909db84016 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWith True Passed
b79832ecc753835d506cfb13536508254807c961 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWith False Passed
60e4a120c46a27aaf550aead16a2d9bf72934d5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceInFolder True Passed
cb8cc8376f39465e0dcdb7c0886ebf8e5212176f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceInFolder False Passed
c170b38a83f6402b80767fea45c019d70fd8a842 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWithInFolder True Passed
16464ee89635fb6c974d59c7d82f3fa90a7d4cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWithInFolder False Passed
c5fb50ee3c2d006e725196bc5463d3e8ae8c3311 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedInFolder True Passed
94462d9230cc41d4028be5ea90be42b28cc871f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedInFolder False Passed
3daef9d009514ea39ea501e37affcbfe46477e53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWithInFolder True Passed
1b71f8bd265fdc1c0508fb0b843ded7377f404e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWithInFolder False Passed
09732f6d0ef3b551c66641f1dd5b2168f12db315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Enabled True Passed
9064e4d85cab434dcb04bf679a16a8cda916135e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Enabled False Passed
1f0a929d0b7c2fd10dd73061ab4045822bbef93c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SubsetEq True Passed
e9e2d88a159e8bdaa914e20b3790dbc429d02361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SubsetEq False Passed
d0231904dc50bc9b547cbbc1017044c1030567b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfCond True Passed
243b8cb143652beb572b74d2e4f0da72bd245633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfCond False Passed
4c082d9d1ab60fba408a771e7ad1c76567cb350a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfThen True Passed
fbbcdb19a36e4c7992e4a19de0d7dbe5bf88115c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfThen False Passed
5f97b5d7db3409a0c08f7fc25825a7ca42b69aac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfElse True Passed
de401ca328b6f1696c083f95b77512b6daa23003 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond IfElse False Passed
d5127ad8e8e56d3fe0794dba4ef3669e7f9cf606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Unchanged True Passed
86545f837a35b079b4e08dca7daa2e9316f0b3cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Unchanged False Passed
93a69e929d7f9a6c220a0fc819dbf35502ecd0fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Equivalence True Passed
0a21b5caa067aea0a1f3f26ccc669599097c555c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Equivalence False Passed
85efae2865369a4d78477a8fa6da1c1d337dcee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond TlcEval True Passed
c0d7450456ae69efc63df192bcf3f25cd74f998f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond TlcEval False Passed
c7c578ecd5875671083bed1cf1fa4320a82f8c60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagBagIn True Passed
e81ba37895c34f5f720eda402d2c1279138f0f81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagBagIn False Passed
89f4308d0fa9124af022db0c43045339da09f679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagSubsetEqBag True Passed
75e2a3b302d366b49e747fa1bbc53b419003515d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond BagSubsetEqBag False Passed
97f6a4022a908b49eb4f210ade45db3fbc8fc814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet True Passed
3be997c2bf9ccb9b0e965692493177aceb5e1a58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet False Passed
914b02f5fe88d1a070bcd9b61f9a3f0a3bec63c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SeqHead True Passed
91907b5d26a721f4f3457849dd9fc4ef1f920bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SeqHead False Passed