Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9fe7603c8e32e359a444181f0cf02619fefc23d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OneLineComment True Passed
429ea74b77a24884052195a8f1388ec48e1975f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OneLineComment False Passed
2c3a5f7c4d944c9c276abecbed8ef7e0f6c09429 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp MultiLineComment True Passed
35b29045501261c48b493416fcea659deb839ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp MultiLineComment False Passed
ae610d928a7ae55e201ce3993803b9aa731942c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolTrue True Passed
b25776e73c588ceb1c33fb959cd565349450208c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolTrue False Passed
f34b7441c9e25a5f28d672439a070cc4e8e2c1be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolFalse True Passed
1be4c35440bcf47a9b2ae78253d9db5f80ecf7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BoolFalse False Passed
be53c6d49dcb1ce13a97b49332a81d2a99dd1b3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp And True Passed
7bc902de77a08eac3f0ff375774ac5b2cd29875c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp And False Passed
78e7098bdfb6364244c9f02f484fe099be98497c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndMultiLine True Passed
e579743fd9f54c47d93af1daf7beb912525c9092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndMultiLine False Passed
ad069e2207d0a462a6361dd8d5caf519a615345b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Imply True Passed
b09f062235b981be09cbcf8da0b56c7f68508385 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Imply False Passed
171d2205c6c190dd85ed9d22671bd00c57508e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Not True Passed
095b97ea04592741af415dd3e54243d1da3f1378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Not False Passed
c62734c22bbd2d5829409988f4b22cf1374ff2fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Or True Passed
9077f3c69d49c32b86e6a55e695c3cb81ff1a6bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Or False Passed
356cb3ca4e20a423421b73ff6726e1b05ed5a228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OrMultiLine True Passed
6bea3a717d1300bbc24d50446121e80151c93d28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OrMultiLine False Passed
100f409f5a5d17905560f45dfd27e225bf8235ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndProp True Passed
a49aff055f975eff9a14268f51efe12eb492c182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndProp False Passed
0efb0063233634ec45adffee39c172b658bacf0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Boxed True Passed
14c7ccb7a55f2efb521b066db51ce65b09b8ab8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Boxed False Passed
2ec20b6e662b7f714e5fcb06a2a138b5b7995987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Eq True Passed
168e41e0e8f7b078f716857ec7313ce7a40d3000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Eq False Passed
97e62e4a9dc603e27eee2434076fec0ff099b0ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Ne True Passed
c56f0a905ff1ccda3c7910bf70d73e303470fc96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Ne False Passed
12c610071f260fbde23f6d59eb1c3900b49f69f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Let True Passed
a71ec0e3c5309d993f8411fc0863ed71bb6b9c49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Let False Passed
f41a58ca4a64f0139c5489cfaa0616a4e70af745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp In True Passed
792b330925af4351b77e5950dc02675c4aeea4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp In False Passed
dc620dfad40b5399435af22a061d6a45f22313c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NotIn True Passed
36ab93904eaf0ddf56d627997aa61d550be0ad7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NotIn False Passed
2af1e17d3c42c84c5bf14c0cb69caa1e8edcf7e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Exists True Passed
d764b6ba26d65b89c266f8fd455f5a69f0418790 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Exists False Passed
6b343644c184a6277f61f7a9558188f0da006ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Forall True Passed
bf01f56c3b4a1845907276f4bb7b2043365c4be5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Forall False Passed
fa10f403815f2675bad7e19e36a329852559aa27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Choose True Passed
f1161d3ec9a2e86626be31a8008bfeaf49b330ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Choose False Passed
d52341c76a7f8f5e959bd4367190c48a8024f786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FunApp True Passed
667286318e22a18e6a94312098c90de55250e6bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FunApp False Passed
d96e89bf5087bab844499599c94dd6619666769c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGt True Passed
82f56c2322d293d02b22fd25926161cb5732811c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGt False Passed
bee5b36d638a662496a86672e1a6bc49b995d044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGe True Passed
8e430af41e3915698d25ab91f07de60d21422a7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumGe False Passed
68f52e6b25f3d69c81d0fe371f9fcd76c6af5482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLt True Passed
5c622b289f984c58a8cf5ab77153bae165c76d03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLt False Passed
5dddb8adb78287823fa8faee05e2080ada935864 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLe True Passed
098819d1e3954f5e06b8cb3d2a93dc6942024662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NumLe False Passed
002be8642fb1d2f6b1b443aefee731fa7b4385c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def0 True Passed
3d9adb3b2f484b2d3df951c56baf70b88e2e23cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def0 False Passed
42f153ff97bfff1b2f487d6ce281ed4db268ab65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef0 True Passed
91e1865ffb94ef5907ba1394ac31210efc7e68dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef0 False Passed
112e5c6f9d68ea7c4ede2b8dbc5bc92f34cccb47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def1 True Passed
068a170355122bb98573d1f1176834b1d8b7dec0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def1 False Passed
2cbd93acfef81921ae9bdf3c96284e3821456fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef1 True Passed
4fb85fedffcae5db56eeeb357c0c1b4971783420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef1 False Passed
be85bb1cbf1ce5590c78c608a6026a607861202d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def2 True Passed
2b28de5dab41bc480e46c572ed59f8f582c43edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def2 False Passed
d391f658addab8165cab3de816aa3b445fc7f339 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef2 True Passed
64385a10c0f85c8b7e2e2b4603e984537a309844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef2 False Passed
641b3fa26f123cdebd8e158e541f40f6eae82c14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def1Recursive True Passed
699097561e89c9020da78f0de5ef089c8b32ea1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def1Recursive False Passed
fe5136de79b4907af21716e6138f75422ba983c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef1Recursive True Passed
9579ee64c0b56eb7ede5d77d644bb544614bf436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp LetDef1Recursive False Passed
d33ed7ee41e2080a383261cfc5bf5a71c8fab6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Extends True Passed
8930777507bddbb16832066426de7b6547c8c9e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Extends False Passed
a5837ef5291872f83fd8c5fc98aa043f7fe85438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp ExtendsInDifferentFolder True Passed
29c7e7a7de8f6ab8d5817e6bffbdbc7f797e5276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp ExtendsInDifferentFolder False Passed
fb80d0a8737fd2b09083cbb69e0781ed53c2064a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Instance True Passed
ae7c92dcbc3aaa5d64910fdd293404f92f912669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Instance False Passed
96e418ccb33a8dc5428420c1945529e1e4bbb9df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWith True Passed
58ce49e850858b8d50185ac867bfc2d7eaf715da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWith False Passed
5d8e9ebba3be9826f0a191e01e7e29279b9a0ffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamed True Passed
26612a6cf898dfb63d5c7beb11ec60dc10dfa6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamed False Passed
edb1381ad043901cef75eba248efb3f507b570a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWith True Passed
cc9715222e6805868613a4b03fc9b5a33b3b2db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWith False Passed
07820c81c994b9034740be2b99a1bb42969b639a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceInFolder True Passed
941b13c9d5a282214e7badcb1142fb589d07e7d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceInFolder False Passed
3b4c12ee2dcdf8d2cd3281773c9bbf1e1c0333f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWithInFolder True Passed
2d92d34e6b06d6b1ffbff0ff2d4ff495d040c863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWithInFolder False Passed
4b890267c87bc0fdc2582303e6b7997ffc3cf465 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedInFolder True Passed
4e3a677679a76913d12351485ef35fbe2700376a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedInFolder False Passed
ba8b9ebb0a483aff73b93094cb21509d8994cefb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWithInFolder True Passed
7e08cc9ab155ac2e4873a6776f368c9c448438dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWithInFolder False Passed
b5bdd83d682f016d2b48680dbabede892fe41a7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Enabled True Passed
5d5bd6fc285c0422ae381c9516af97d36649c431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Enabled False Passed
81484549c5bab6819e3951a31b4295b626aabade TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SubsetEq True Passed
c2a971e32ec99b7bd5488705d4d1ce644e1ce39d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SubsetEq False Passed
d44b24257adece6302ded1375d7ab37ab5929566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfCond True Passed
1ea82639f0aeff15cfae16a953b593e97a3e0b25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfCond False Passed
0bc37e3e74a4082b789135f5634645488f541bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfThen True Passed
45ddd577ad59fd2a0a78b0e4b19956b673b4239e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfThen False Passed
a7055be03eb0ca9e1c09e1129960c6b1779a09f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfElse True Passed
e57fdecefc499d82ce14a3a1fb88db76ca971426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp IfElse False Passed
4574a07830b81a44ee1335ca3c364fa0fa477ebb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Equivalence True Passed
50710388faed4ee0ecddfb96d8ecb5e9a0bd1ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Equivalence False Passed
19c42c61df92b288de4a474794c837d4f7a88bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp TlcEval True Passed
6a2c682b90fb31487d555c4c039346ab1c3ccdda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp TlcEval False Passed
0f92d394e59ee70a327569cd5932af14b4ff52b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagBagIn True Passed
b48d378a69c4b61cef66ab68264bde9a295a25da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagBagIn False Passed
845abd7fb1aca80ad581f90d3789ca61b4f73245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagSubsetEqBag True Passed
90aa4b75c18ce43e0afcfc5a6454269e66e16710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp BagSubsetEqBag False Passed
1365d3453de7bafa4f9e6a59ee32671e625af0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet True Passed
62b99ed77d3fc73d60181955d6cf4a1a99422a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet False Passed
0d5bd76ffacb33ec09fac7233bef180d7a73240b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SeqHead True Passed
a449ac170f19339358f322dea4babcd84684eeef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SeqHead False Passed