Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5a175f35d622447ae793856c499289b0f2393cfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OneLineComment True Passed
f531e2715564d9120de1847fd3d179df9e01a2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OneLineComment False Passed
4daf72ac725419ebd3191fce1eba1e9cf6911cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose MultiLineComment True Passed
d872af512325e6aa7f64cd93b90e48116fc2c5b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose MultiLineComment False Passed
03cac4c79ad183cd03d6c26fafe4991a03d45bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolTrue True Passed
995cf19ccd674ca987e8f478d2b412b1f716afba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolTrue False Passed
bc63396f7af9a3f3f8f3e90543b907952691f0a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolFalse True Passed
36e36c7b15d1f32879c5579c213c86b8a862c8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BoolFalse False Passed
a9f974c62993965fe79bba5738f7efdb77526645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose And True Passed
23aecf02eae900fe38eb2b9052886f16aa8f5bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose And False Passed
11ef5fb66e7ec72dce39ba3e13e5bc6db163d029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose AndMultiLine True Passed
af7cd6522dfd9824178765f8b0764910cc88c0d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose AndMultiLine False Passed
3ca1d63c49b46ff02992ffde6e0a709cf92aa08b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Imply True Passed
01b280268ee73076c340757102d5a0530869a7a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Imply False Passed
0e2a66d78c5bd9225a296019f2cc6a553f9ed2bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Not True Passed
57061c0a742a8f69ffa71e216c8be1bcb878ff3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Not False Passed
9631a017f9018b753151779b427ad051cf34bed0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Or True Passed
09d1682ce24550e754433260715f05d50e9a25de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Or False Passed
753244fa803536325657fddc041388ead28edd3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OrMultiLine True Passed
4733c0735dc44723ec42df7383586ae1a54de461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OrMultiLine False Passed
1c34ef2eaf604c9921565278185fb14053b1f5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Eq True Passed
fa49ebd774d8c44c3095efc77af4184ea83223d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Eq False Passed
aa62b4f113072754aae3c20ecfe57d7c6463b8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Ne True Passed
43744d652ac33fb4a509ae806252f0f19b45daed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Ne False Passed
bf4078973d26554ad9e8ee926e91d73b516aca16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Let True Passed
d0d80fad88e2a66abb25b845eb558b3b2c0ed9aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Let False Passed
7881fb84550168c7e230b5798a3b41f4768fc14a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose In True Passed
5202c415f3fedf6b006b7ef201ae95eed97344a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose In False Passed
f0a2040775022662fa8b282d89ab76016059b974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NotIn True Passed
a53bf3070184f9fa17bcac89fb0a0792ef19ae7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NotIn False Passed
51c75cd25a7cc217bcacf729ad51e053f729a876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Exists True Passed
553b3bfc98d81e2b64fd19a2f128da5fb4f71287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Exists False Passed
bc0171ab68fbb9b424067d25627ea6aeeb36e799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Forall True Passed
2c683d4b1fa0caf969f3fa0e0905927256882b59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Forall False Passed
6ac2f1fdb0876e002b0f281768f1d1106b9b1ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Choose True Passed
639dd113d09eeb11f03f46fbe29a86f35752baa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Choose False Passed
ec56a3e0776618c76aab13f7b803e87df8b2a438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FunApp True Passed
d0bb04fcd4161badd742f1327df10d3bb4b18ee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FunApp False Passed
9441f744d549a164e3ac51dd1e63e7469840daf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Prime True Passed
658999c7a84d56ed94423b35c50221bd414cef2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Prime False Passed
b0ea95baf31476cb60d6295c59083370c0a46085 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGt True Passed
166804e0e6eab8b5999ae2ddc8c9550a3748ab5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGt False Passed
101d79cacd21bf3a9facde76295a34a910e4815c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGe True Passed
e254bceab3ec8d01833e8f2ea52bd763dd758cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumGe False Passed
ecbd4b3ebddedc3503c171a5508dad56e70fc2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLt True Passed
22a591db3bfeae1002af46d998a2b10b28f02587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLt False Passed
43aaaf75dc9d49b14c5c03bd542a1de7feaa0a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLe True Passed
ddd5e9061dc18a98274ba60730b3c2a36b945853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NumLe False Passed
a0cc7d17531c59b41caad3a69852d2b7a4d7d3bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def0 True Passed
95cf1474a2ffe057643ef2f81563dc08f0ad95e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def0 False Passed
86dcda346c7de313c83e4d2bdcf7994e72c468e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef0 True Passed
a059cd87d07a247f04e464fa3818584ffe2f92e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef0 False Passed
196d4e3b961380abfeb60bc1545c48d7579f77c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def1 True Passed
dc889dd096831c1f990e4807b074dacb62693ac2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def1 False Passed
7231177fbc11cd7d825151b0d2ed5ba513556a3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef1 True Passed
cf20aab6e6a81c47127315ac3798a2f74204f558 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef1 False Passed
1c45dc08ea4280ca9c65e75dd478db641ebd2242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def2 True Passed
ea334e070eacc5c2a0f29a38ecee5b190ff62d3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def2 False Passed
e8551e29395f4cddc280a79c1dbde032fd660149 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef2 True Passed
165921d07e20bb505b0d12a8ffec26fea3ade589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef2 False Passed
9fd59f78a46cf0079a50e013e675e546b781c1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def1Recursive True Passed
4ce5db645d2134f2a5bbba43bea5b3d2cb20eb4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def1Recursive False Passed
06ec3a2e9cd6dc4c80a84070e92687a285881acb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef1Recursive True Passed
7913d32f4307ba85a31edc67ee830237085cdbe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose LetDef1Recursive False Passed
1606983fefced957baf95167acdce5d577407388 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Extends True Passed
f237516f63ebbe9b42231c71d58dcf01f0a35ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Extends False Passed
50710feb4e9a4b657df37c41f33bdccabea32af0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ExtendsInDifferentFolder True Passed
e767260c33711ca740e0e38f074313f740a7ab7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ExtendsInDifferentFolder False Passed
249e34570a7613a15a119074fb155b0d641edb67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Variable True Passed
4496d223bef17becc45b45d8c916ec65ad555426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Variable False Passed
1ba4d82f205e9d9f05a2eb8037d416fc09ce3840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Constant True Passed
6562097546bad430a1a37134febc62c7b22656fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Constant False Passed
d2401231f69936c9be9253426d7a9a6454a92181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ConstantRank1 True Passed
fba1f0f31ef8106095c2c8af60e9bdb13a4388d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose ConstantRank1 False Passed
b52337b323ada43550fb89182f73131d181ec571 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Instance True Passed
e819486039a86373b6343e89a9c0d1730c70a673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Instance False Passed
f14e6c7f1bc3f9e6231eae631e1b7385f3d850b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWith True Passed
2bc1ffaaa318c60a7f9f7a5ec662a8f65603b391 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWith False Passed
73fafcf6d894f6bd3273887b046a78017f58fb17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamed True Passed
b3e9d8d279c4289378c1f2b7a4b4747d009b5517 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamed False Passed
d02bff500a94cbf42696fa7b02ddb5cde574aad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWith True Passed
00349e7e800c5c5cd4b0e5bc952b37dcb67bd361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWith False Passed
19a55b3b2d22ed67a58071061c3568c2f78af8de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceInFolder True Passed
ca1f2aaa5427d399cc65d241a3bc7b91e9feb09b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceInFolder False Passed
63bcfef9c58031820b9624526db9480ce2371142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWithInFolder True Passed
1f0d835a26ba8c196410695ce58beabde8e9b8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWithInFolder False Passed
e843d5ec0064499c1f310b91dd54bc81e6f4d7b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedInFolder True Passed
b6b31b876b76897ea125b3ff6ffb54293847d1d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedInFolder False Passed
a31414df513c08b2941756a8896cbd7212196e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWithInFolder True Passed
103b43f46c8a20f20caa6d3773423c9f4a0107a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWithInFolder False Passed
fd05f1cc03fdbb249034a32d779ef643bda5f246 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Enabled True Passed
f63a15d07d17abdf62c4882f40081beaa7a8a1d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Enabled False Passed
1db709f8918e78445a5959d622edc87dad0e23e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SubsetEq True Passed
84867366a05d2fbdd79ca7536188b3ba7db71fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SubsetEq False Passed
a24ab3474d8cbae50de0dd409faed8869c76cc54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfCond True Passed
89cad1aeafec5ccc702459d9e0853f3abcf97fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfCond False Passed
04e33207ee1e0010ebe8eadda990d390345a26ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfThen True Passed
d41ca3141d11701884fdcb8711ac3e5bedaa0fff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfThen False Passed
c3de79ec0c0021cd5f926694f15a131bcf28baee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfElse True Passed
e541da561824d4085fd369fb6e781be6cead2a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose IfElse False Passed
cfb903f8eeb71a5ef45246d5131cb0f5417acceb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Unchanged True Passed
f939dce12322c2dfe966e840dfd1682b7d3d8c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Unchanged False Passed
6a5e62506502678b8e3a8078481579f1604aa9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Equivalence True Passed
844b866fe0e6fe5a0af9495c769d4a1ba7561dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Equivalence False Passed
b5abbdd57f09a259a676132ae9e98befdad1a763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose TlcEval True Passed
0d5a2f4f61c59f5118df894bdddbcf62a3d8a529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose TlcEval False Passed
3785badd1b289dcaf31b0ae90a8bce241112f8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagBagIn True Passed
c84050dd8d8cab57e2acc9671e37baeacd204591 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagBagIn False Passed
53cba17cd7b67e2736de2473d631815afd073e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagSubsetEqBag True Passed
48f364280c959ab13458d1def381bdfe42f01395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose BagSubsetEqBag False Passed
5044226103a3e8daefda52639230887dec1e2994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet True Passed
80755fd06f5251f7cb6dc008a24e1af27e513910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet False Passed
f6d705f761d055ac171f3ef101951737af6839ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SeqHead True Passed
95e2509e9e654d1a827b3fa5e54d6a0a34a40890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SeqHead False Passed