Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1a97815ea14c57208adc689367740be7cf23da75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OneLineComment True Passed
c70004f002660efbfbcf5f3f41e044ea07d7d00c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OneLineComment False Passed
e313de56c5f91836432d4234e137089e7e715fac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And MultiLineComment True Passed
8adb328fcbe51afe7e247f9627ba0cd3a8112e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And MultiLineComment False Passed
8809a7fb49f9e2167c1adb1b25435011a3c1bb02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolTrue True Passed
c1ca03abd9ae4cd4d0212da53d6d91c0b3791745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolTrue False Passed
493497e8d01774d26d4c7f1bc3b48d4028a3d18a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolFalse True Passed
e431405c19d93fbfe164af23687a90c5a7e1da7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BoolFalse False Passed
78f57bbecfce89f15db29742c3ba3c63c0b5da74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And And True Passed
7279824a086d89d1aaa52579404c0b353ad465f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And And False Passed
5081eeb821e21fd468a8b8bd4e991b12fb722cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And AndMultiLine True Passed
c77a7ef15958aa57af0765044dbbbfea629d4929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And AndMultiLine False Passed
e32cd565dcdc0934b98c994e10c24b306bcb4476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Imply True Passed
99c9e6e2fbee0a756b5d10e4337e9ae9a17e79b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Imply False Passed
c7e9db828d8b1c403acab595ee83a88e9060f238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Not True Passed
54f0984371495ba1eafe52b39d10421f12e8a0ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Not False Passed
0fa9277040fae5d25f8292dc1b6cf193ac2e3827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Or True Passed
1ce76f4e54dcc0a8ef339b296b49c81cff6a6de7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Or False Passed
cf2f4555cafa5fae086549c589ec204522a0c6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OrMultiLine True Passed
11de2fdde9923633e2b9145da687ab7e27217470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OrMultiLine False Passed
9487a536b4fe9066009fda70c272555ccaed9e62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Eq True Passed
5174650ed28b7da3e0ffe54de21c5b56a3f91ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Eq False Passed
fb5305d0ecf8623c142f3aea4966427791abad00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Ne True Passed
523e27942120210027b33adc41d8dd94c68220aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Ne False Passed
46b0d3cf8f22f84e2f250bd218bbad0aebf7bef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Let True Passed
bed20dc644b4873e343d50985e28c3d307df4fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Let False Passed
e37cd0851a7fc30c1c70d4dcdc709f85ce8bbdad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And In True Passed
60db07d47812e5479786883af2b28b0e9565787d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And In False Passed
a3c126c6e94b677f878fc58c3d1666e07e7f5efd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NotIn True Passed
18b29c06f3c04abd8028c6c264c49e133488f366 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NotIn False Passed
c0fb5e38782aaef702daa12bac50bfa30d940fa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Exists True Passed
fbb2f66c8a141495c97601df72ed0c2e575b8622 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Exists False Passed
3955a4ad906f5965480eb911e70f11d8d9864a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Forall True Passed
2b342970741b68da9fb6e2fdfbbd6228f7a5c8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Forall False Passed
573635e4f89191ae925cf1a9eaa2cc388d8e3fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Choose True Passed
16f9e4597e7ca2c1ce62853830a6bc3fcc1cc319 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Choose False Passed
a89de76918bfd676c83da75fb06ad5883f6e3e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FunApp True Passed
7b28b978bfdbb79b0f63c64d57f034c8ed12b093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FunApp False Passed
7c39c3bfa8fb2582a19d445e6c7f4599eebfac44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Prime True Passed
188c1030f569402a91f5ba629441dff2d596c271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Prime False Passed
ed2cb92106ddaa4617d41a92171a10ca11fec64f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGt True Passed
6feda237ec16490c57829c0a7ed232c1b3af6b5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGt False Passed
331939fda8ac0ef8c8cfe98638de9de1238c0255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGe True Passed
52da6012cd0675545ee8b1bbe9d1b26ac57c8174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGe False Passed
2eaa055f4c15b638436b3c5914212c274cc474bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLt True Passed
2c0b24fdad963a16ce2692918efa3f039dd83e55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLt False Passed
e8c0269ade38c335e6c7f93daaf05a9960f752c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLe True Passed
42b9ebed4b0b71ff00c6e74853c26e03c6e123f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumLe False Passed
8fb9ec906757a4577fea1f05f0477b63a962cc30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def0 True Passed
229e0ec399aa7d15dd37045f00ac598bf188f15a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def0 False Passed
dc22125630dc834a919dfb5d4cbb77ac2b47eda1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef0 True Passed
c219df07ad03d5c9e8cf73f4fd96ff36aa9cf1ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef0 False Passed
8dc553aaeeee032d7f19d1abac61d244aea1457e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1 True Passed
f425fd6ddfacfd2c889ea7d69fec57561ec3a363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1 False Passed
63d14ac73ae7499596a1b5f2b80673468bca41a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef1 True Passed
8e1832e65f6d7744915c0fc1213a908053d6d4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef1 False Passed
df7ac9f5c62f4f5a9fdc5507eb875eb9d766d150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def2 True Passed
50afd4ba4663256161d407bbb46ffb58d07b7371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def2 False Passed
b9902daa9b2eab16beef7d4bd546510536c4dbd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef2 True Passed
553008fbf3564bc263005569f9b2f096f7bbed17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef2 False Passed
7bf2304049d204f2e2b8046090c3e8be6ff56732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1Recursive True Passed
4addec788ed8adb7bca05e46e10f5adc9124f5cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1Recursive False Passed
5e10a66ae85358b07f7ec9ef352f2044d622a101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef1Recursive True Passed
5009c59ea14541788d2e1d435ea00371bcf8df93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And LetDef1Recursive False Passed
57224e444904fac0a19b17e906d3635afdb4924b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Extends True Passed
79cc370a11b2ee08bf4865899df989f099d8dd06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Extends False Passed
ec2196c441c3bb555e0ddd3822f609c85fa46a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ExtendsInDifferentFolder True Passed
94b085041fbcf7076eaa1f63ef14b6a768266882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ExtendsInDifferentFolder False Passed
135c0f85c5638d2a0614e6680138dce5eeb69d15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Variable True Passed
2497591bc66253ad0ccd4c69a1945b174e40c0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Variable False Passed
f0c0d174d1ecab9cbec6211385db3f968b95b662 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Constant True Passed
d526e0d6c0c7e1bfb79987aebedc59bccfec2926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Constant False Passed
b1ffbb96e33bda7ba8b8ba2fec79353dc0a9de8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ConstantRank1 True Passed
76895718377a3f2873b308445b0e6949c25b662e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ConstantRank1 False Passed
246777058454c423474f4d18868d96c0499070b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Instance True Passed
2fb8c237b27ce34be34302eff513f37aecca35ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Instance False Passed
780eac362635ee999dbae285ce200151d61a8538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWith True Passed
7f24f8cbd89124c17aa84253edb3ab096083dc62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWith False Passed
77699e4ccf89b2c8fb5205ddd95b51fa02e33640 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamed True Passed
8fab712ca76dae1e6c2dbbfebc8d5a1e36de2c76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamed False Passed
22857f9a074a7c1126750949c6579d741375810b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWith True Passed
e55aaadc275a896399acafeb8953c3fbf4f75f70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWith False Passed
5f1bf1cb8df9acdbf256374e3dc68f1e898aeb2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceInFolder True Passed
98a5e37d6805725cbe201a8160be41c25be0aca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceInFolder False Passed
69ee86ca0f7d6043df6973329b2e2a262866f066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWithInFolder True Passed
a89130a0bfe891319c31958e63e46b9e5fb558ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceWithInFolder False Passed
70afd73d001fe8f30f675f27ff2a4c9c1ada4d7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedInFolder True Passed
f895706ba88b2d229715fd4a7cecd6fff6a8aa29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedInFolder False Passed
6d2016236a22353fc1553adb406b2536d979e0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWithInFolder True Passed
2b643ee3bdd9f3d2560456f8ac0400aa95e6b477 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedWithInFolder False Passed
ca818e8df8cf8ad3084c1fec606b80e01ae8a639 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Enabled True Passed
245b7b20d1ac44b45f7bd044fd055d996278c26e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Enabled False Passed
dc6f081683c6fa8a4c542235861a2151d7ccb49f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SubsetEq True Passed
a019020690fc28886c3eaaaa57df9a9fddeaffe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SubsetEq False Passed
7e1a1ddf8052f7cee86f6d3252ded230613a7779 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfCond True Passed
5d8ec3006a8a60c4ea007f916cb085bf84201346 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfCond False Passed
f14cf80fd8131e048fd4eced254688af346f7580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfThen True Passed
4937817c31f431215ef684d976c4b64905bd034b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfThen False Passed
70d8d7b7fcbc90e928f9fe3a2902b3c75b16dc4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfElse True Passed
d345e96dbbfdc7fa0e0028acff211dbe8353417c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfElse False Passed
7389d6c195d5b102df61425a5308d8ffe4281774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Unchanged True Passed
228240163f2b6c94fa60d33cbec8a939bda50aee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Unchanged False Passed
273468e9f004a08b70609b8122dff7dec2c8fcb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Equivalence True Passed
f10a2bd872cc46d74b29ece200a015f5dd01a3f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Equivalence False Passed
c05516f6a7c9d5e493e977ecd56543fb87919882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And TlcEval True Passed
c926c577e8e3c935b66b642a1094fb9987a0e250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And TlcEval False Passed
46627b0a03bb80584183d2791f660770da2f6d48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagBagIn True Passed
0db82959176a9ddb2acbe65fdac7cbfe0797037c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagBagIn False Passed
00994ceebd21d35baf2c5f265a8eab7645050020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagSubsetEqBag True Passed
0a3f624c4036c5bdb367644051d8feb47ee2c72b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And BagSubsetEqBag False Passed
e37d45a69fc3dd0c8078e3cda093eedc54214311 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FiniteSetsIsFiniteSet True Passed
f42a6813add23c5b43a24ef211255984ffc9c530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FiniteSetsIsFiniteSet False Passed
e6a70961a4753102213dc4b0c9238a2b64127d47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SeqHead True Passed
af6ae1668e44379759e78974666a1ae9012a2f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And SeqHead False Passed