Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a8d63fad2af5a888958d76df41cd72e56b210414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OneLineComment True Passed
7012e69b8345f342d033f5078cd422911f3082a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OneLineComment False Passed
e1ea2dc9d7979f75e8302faec3e1916ecc01f324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose MultiLineComment True Passed
69ea5f508653df55d187df8fe0be4df3abecf3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose MultiLineComment False Passed
dac5efa2bb18eed6fa7ad432f7544bf7fd78f029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolTrue True Passed
c2952efed662a5a9fb5ee2e9f233238c7991ddac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolTrue False Passed
1f650d6f1298d43a0fa0e032ae6b2fa58a3133b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolFalse True Passed
e98cff1055a61e1dcd44999980fdb06ed86db835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BoolFalse False Passed
2a53c46246cd2f8484351f7b4466fcbca426d0cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose And True Passed
c277610ba6ae79f4656d9be98e16458c65f24854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose And False Passed
91c3e4e2ecc170a38fca56674e1f18107acf76f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose AndMultiLine True Passed
7f4eb53da5e401c2161a7fd977eae0379a2ad54d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose AndMultiLine False Passed
529ee76a1d58fd05875eac7a18967f3c70010548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Imply True Passed
4b2aff4cfc869752f8f2cfd59fae608d11e95b8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Imply False Passed
7657db327afdc9617ad45437a041ed46bebda01c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Not True Passed
e3accce6c9b575fb6e97d3ed54c0e959b5b0b25b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Not False Passed
3c28da3c6c68fe1e1569f8eb852f1a2e7dc07fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Or True Passed
7a60e5bc14a72e716573360dea2e22e609a6e0b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Or False Passed
a8d03794d3f1b612501a59a7be8fc29b3f05c7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OrMultiLine True Passed
b12fe3191c33c8c34f4dfac93225e6feb2a88d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OrMultiLine False Passed
39b7d218ea51f21c3e645786f0e4f86b81ca23e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Eq True Passed
02e887463e5dfaf61d1fca4eef5412278b250e88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Eq False Passed
e26208cccad8f7e5418cf0be851d76fa5f40ee33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Ne True Passed
91438a24fd548dde3d7340362123aa1fe5fc4b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Ne False Passed
59c946ebb101c65e0e061a3845b972f29cae45cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Let True Passed
14d22844e661ae3fa558b408e8f6c5626282d419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Let False Passed
93482e3ab9629f86221349288d2a8f2e3853b5ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose In True Passed
f84d1c61722839326d4096d63a47d61f17646005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose In False Passed
a7818bbcde8d5a2d06b2316e28f1c63f9e662391 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NotIn True Passed
4949b37d9fd29b6f447dbfe230bae7c60050d901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NotIn False Passed
258087ae537f5726e8f1241b16369ec14fd93aef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Exists True Passed
6090cdd3c77e851f7a9293200b13290e05d01d6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Exists False Passed
9ae221e49fab291268ff0c98d34ad67406a8e446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Forall True Passed
cfbcbc41f4f0428196f4e36a54f1bc152485296b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Forall False Passed
fb965e625c8901ffca8a3741fd327571fac325a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Choose True Passed
9dada239f8da41f08185f83bada999287ee03ff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Choose False Passed
1a02a33bcd56becb3af656698ac03f5ab764575e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FunApp True Passed
1bfeea40f57dc0ce1987470faa64295fb650d54a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FunApp False Passed
b4809847819b593b8f3cd0aeb5da66f53f33c103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Prime True Passed
1b4b3bc4301f5bf1e058cb712bce7b058a677fff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Prime False Passed
d293706249b4c798f8e042c43d980f0a95a4f938 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGt True Passed
fe9026512ced0a6580c5fcb0e75058bcda5a24c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGt False Passed
0961ca4814642d6f80fa098aab8445989a77e4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGe True Passed
4e7043a3eb1778ce12ffa7c5bab22f4b7492b236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGe False Passed
c878e385bf27cb9477b4e29710fff2157d046ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLt True Passed
7ace3d2a1ab801c497a337ff8ec0470a8eaa31b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLt False Passed
15c83be2a08b5ff557773c4b84917c68473f7f80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLe True Passed
8f219c9bebf59febc2301896018e3862f548ffe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumLe False Passed
ebaa9bb41606d467be64463b12c857296545aa87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def0 True Passed
399d3309f324c2073c6eec4fe236004097257058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def0 False Passed
7432988dddae79627df34f5ff6743a42d256534c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef0 True Passed
62019b370e9e56935b46c49ed6300b133e9ae0cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef0 False Passed
8fa0fce34361fe9a638990a7ceb6e4cfab85e5f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1 True Passed
a3ed751551fbd43430eb6536f8a348f03cfecf8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1 False Passed
9fa7727e3e2d8e96ceab76a5494d5c3462f9819a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef1 True Passed
f87910b123f99461b549ef05095b4c90ee3cd13b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef1 False Passed
524102074ec8603bc5d027dd444548d44b683105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def2 True Passed
e2fe13ee148db8ca3ca6fd34008f5a419aa5430a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def2 False Passed
b7bf627a9cfe7115829476089c571db5302ccaf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef2 True Passed
3b7f48ed986b84b1ef6de06daf13565c1d205af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef2 False Passed
803977b1ed44fc824b9bdea11c6527385c184397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1Recursive True Passed
122cd82e828c271165776e44e6dfc381f502cac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1Recursive False Passed
a79daef71ef1d050a8499fc24d741e3ed568c32a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef1Recursive True Passed
31798522f4550a6d5093ff13d4d47c5ece419d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose LetDef1Recursive False Passed
5e9b99f8ba3cda7c00fe826de809d3c9266bd87d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Extends True Passed
577dc68504cf1925f36ac20c7d7023b1e9930ddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Extends False Passed
c9f3a00e7049e49f803e971e1063feedaf4a6f50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ExtendsInDifferentFolder True Passed
daf81c8f26bb457f42a3c51c9905ec4be6dab35a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ExtendsInDifferentFolder False Passed
1ffadefa6b38e4a3cd3658ab940cee30a1b29422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Variable True Passed
4912ac14ccaad0d115f4b526f55e6ef6d472e870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Variable False Passed
b4e424bf12b78c4593494c6ad78b0fb4e09aa486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Constant True Passed
1c35450ca5a6b7ddd95be3b39ef779192cbfc0d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Constant False Passed
198c8ed60c5acab811a6dcaa30c555e8f88437cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ConstantRank1 True Passed
9087db0dd66396fa827677f3ea84bb5133bc5484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ConstantRank1 False Passed
b4931ad82bd26786ae5f8e099e2f4f2fe8d1f3d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Instance True Passed
a8b0cd08ea3993b9f9baf870885d84e38d892449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Instance False Passed
11eba710307a12f555211c5d0a7e5860eb28b3b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWith True Passed
2a52a04403bc8ddc61815f83220f51cf32597915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWith False Passed
f7587e03f50aa76d11313e4314f28587dee3d760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamed True Passed
574a598c7337f31a4357946179d10f7e2405a8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamed False Passed
87364d6dad85c76c1d3472eea4ff62bc8fb9cac6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWith True Passed
92406f0748077d26b4f5e0d4d0d05f387cee3c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWith False Passed
c32a822a9e75834ecec474d83924b9d0190ae912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceInFolder True Passed
d0af33dee2dc2008cd041849eb978fe6910014fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceInFolder False Passed
699a660872a8fb45072c8a701ff5e3248190754a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWithInFolder True Passed
f7edf6a8139cdc12d873cac225aa87f7fa9fee34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceWithInFolder False Passed
3edabb1c1c4097383fb60948af7fecdae728ae4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedInFolder True Passed
d89efad9ef1a9b0e606ba18796a012cbf9412512 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedInFolder False Passed
c7416a4a835ab01b92e9f6cba48fedff1cbbd6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWithInFolder True Passed
91f978ca7d761d83966a29f307ba9a255a480fad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedWithInFolder False Passed
127a270bad496a77855a6bb8b3d84467cb2a4c05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Enabled True Passed
7f3f6d60b308f187607d57dc4322b6c5302b5a32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Enabled False Passed
1e2267806bbd0852a2921838db04b22d45bdabeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SubsetEq True Passed
bbad9d805e2cbf09aaac8784c44cbe5b46cd76f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SubsetEq False Passed
743013cd425db5e9a12ccfab5a3e6af776881702 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfCond True Passed
318e2945855fb05fca92e67f1b85b79ad43449b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfCond False Passed
b272fcd2017bfef2546e82a18aae6417dfe41321 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfThen True Passed
7b9963b4f9b60f1fc4c5bb6c1e6426e90d29ca8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfThen False Passed
5efa18ae6a1547d656f65ee3137bb8a9635161d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfElse True Passed
b47d80dcfc6c72522a005a16b63fb3626cb83010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfElse False Passed
3bb9d45f227546d31ddf6cd1716ac8950599dfc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Unchanged True Passed
0fec65a36a03250ad0dc1abd713a8dc2ffdd45b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Unchanged False Passed
15d50778e21dac768d2328f39a01edaf081b4965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Equivalence True Passed
6d44fc26a92ccbedf4e2f636e3ff313b068feb10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Equivalence False Passed
053b1c3a59697980205d4864df2b112b543f19a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose TlcEval True Passed
97d656bcbc6b5fceaf0a95d58354d17f3548753b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose TlcEval False Passed
613282e8ddb8df2b0603626f372a26c6d9779e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagBagIn True Passed
0a3bd16f5768a2909ed0800a84f11900750f87cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagBagIn False Passed
48af606833cccb97878f9fd56b8bc237e35d5190 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagSubsetEqBag True Passed
da4153196f997a074bfe25be6a3404b46d62b871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose BagSubsetEqBag False Passed
57809c90ce56bc1fab4ce7468af5a53130fd623b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet True Passed
a1ec87bef33e15deb3ce4976e060bc991a4fabb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet False Passed
2eabb3c10011949437b37c3972ac78c1ff2de403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SeqHead True Passed
1a5a47676ed2c3ab0661ce1694a65e97d220e0bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose SeqHead False Passed