Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3e9f5e8aa027b611d087303336d38c575c1c5c19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OneLineComment True Passed
b1aac55432c8cf0544fcb1c4fb43fee2def74813 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OneLineComment False Passed
6cf009936a1d77cd2790aeb503c05d8b2f6677de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not MultiLineComment True Passed
66d1aeca9197b019b344ab5dee4dff021dff0b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not MultiLineComment False Passed
716979742a8fc4a573c75f53c02b20096d83d55e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolTrue True Passed
494a1bcea7445a74225fb073b1e8dea1b7e824db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolTrue False Passed
4d4fa54313fbef9f2891748cb46e258f168e209f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolFalse True Passed
262a80dd2d1e2f6499ecfc4b8ac38c8e41429690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BoolFalse False Passed
3811a246a7c26e8f0361a53978cbb3a9fe5a968b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not And True Passed
c05d7ea4b239a438ca903a0f1cfdd37ad9818111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not And False Passed
b6d566ae542b1af5ac341e62c62276e40df0ba88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not AndMultiLine True Passed
5100044b56afa8ca2ddda985c736605445a2495b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not AndMultiLine False Passed
ccfed29cfa6e5a11292a88c1ba9d2a285ed5a43e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Imply True Passed
47c46b03f94bd052db95e8f3b50b7e068620653f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Imply False Passed
ee524da042d67869e9701a4467a5c9c8b84a7738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Not True Passed
0451bcc891d5d0f4c5806a2e83c1d53186da08cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Not False Passed
955922f2ca68f9dcf26f59f4b192eb8329bcd6d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Or True Passed
7b32c036dabb076edd2ffc0ce586ad5f1c544b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Or False Passed
1a026c25b83960d8be0854d21ce3321508cb6b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OrMultiLine True Passed
997fb56de14d7fdcc7e500ea010bf22ad1bc480b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OrMultiLine False Passed
1d0d368b5fb37afd2cd6471cc7bb2941b0791893 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Eq True Passed
a4b08bb4f8c9267e3031cabbf5d68308563b40ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Eq False Passed
634c67e3f39f8ecc17f63fb9a1ea47aba67e3937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Ne True Passed
a23370f380fc45337db4c89b05a3fcecbb89e824 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Ne False Passed
ac666293e1a410f30f4b28533e0b5747edfc2ae4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Let True Passed
4c892a7ca2c122861cfd95156af0845e976e893d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Let False Passed
c2ff9b676fed7e93a21c658c1e03c104fd267a51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not In True Passed
f837779e1c334e583b0306c188cfac9c4e159376 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not In False Passed
8b03c7c1c0cbd373764d84b3f7657b3cf6c7c6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NotIn True Passed
6843db2a41aa23f7f0f82dc2f943649479a6b178 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NotIn False Passed
90d24977e56ce2e0fbcf986517214a43d460fd0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Exists True Passed
70232dd8dbdefea659fa9920e95c51d7ae69b930 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Exists False Passed
37ebed3ce8497505676801f4b44a0406490a97fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Forall True Passed
b0e69dd30afaa00c409111cc35783d21f5ff4e0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Forall False Passed
352dac701deee9d701872072712fbfdcdedbe0fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Choose True Passed
ffe1c2ff3a5a3a4bd6c867c973534016204fcec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Choose False Passed
0d0c7645dd276d74976c9ede6d3516d663792ba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FunApp True Passed
fc57640ab1a29799ced4f1524b69cabbb6714b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FunApp False Passed
bb196a80c7fb3ca779ecf7ceb136e7a4492e79e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Prime True Passed
b1d7f478aaa70bd63301cb581058af8a5090ab38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Prime False Passed
e376d334036f4832159c656bbbed345de6b44eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGt True Passed
4e2dd0679ce99bc2c63c861fc7e4c82707507414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGt False Passed
070d294dc58a0c5554e24eeb0e9b5d1bc6f07c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGe True Passed
a4814b15b5b1d3221377c130b40694594e4f3c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGe False Passed
8b6f061ce8937e1ee5e66b3d98984aad40bb6eae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLt True Passed
5030c8ac08112895bbef180f248cd247e96d4abd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLt False Passed
1159eabb46812b632dba0c4f5b58fa1d5b6e3b1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLe True Passed
af42effb09c6b6cba2ca85b715f536369dca6216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumLe False Passed
27e529f9e5ede0f37c7754d02d65a5c5743c9980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def0 True Passed
a905354e85a3d39e1bc9bd0f807d71b91a960d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def0 False Passed
71585aca6333255a561f4ca73e1a5a2a60ddcefd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef0 True Passed
da3e6dc1c520571bd400f30a094b12fd35705d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef0 False Passed
dd6511882fa2b39ff612edb179089ccf64303adb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1 True Passed
5bc6d06addcee09bbde648ec1c060193533c2e9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1 False Passed
4f053e79dc2f63a57453ea792bab379be620b6e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef1 True Passed
a2145d6fc0622bd69472568fe60497614200b4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef1 False Passed
5793085fdfe7d548efa9eccbecc70187bf362153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def2 True Passed
6cfc40c28bd15150403328ed3a8785cf5396e2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def2 False Passed
77c102dda00e4ed84d4c59090d950cb43c1c0c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef2 True Passed
6d72117331adc31c03f4ef3128e80a3e842e2573 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef2 False Passed
e1387df29a0181eaa6598682d6638b7ef2b2b1f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1Recursive True Passed
c5fd18c897d4908798e9fa944fd3bd9a345ef244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1Recursive False Passed
93e4ae1ddadcb907450c7acfa49c9a66762198ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef1Recursive True Passed
02f9436b4b0a07b132907d07ad20d34c61133e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not LetDef1Recursive False Passed
661fd19635c4c914d8ab664f07538a7072c05f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Extends True Passed
d6f24c5d1be7087021a52c35124f5b4ae1deab71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Extends False Passed
2dc821b0df2e7a7e5f924b8487e8bb4c567ed36c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ExtendsInDifferentFolder True Passed
4c3e9d1b79f2d63cb9dc2fd3e82acd709fc7f27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ExtendsInDifferentFolder False Passed
09106400eba22d159c2fafcd3b17ddd5079302c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Variable True Passed
daad4570ca2d19b6cdefa7b54a649b2d3775cf3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Variable False Passed
d1b19c15e995a2ec1773f0907135b720d7dcc6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Constant True Passed
e4014fe47c0ae31f2425bfdb54dda49b736ecf66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Constant False Passed
96b29c10a1c57abd738fe17160defc9a29c3273e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ConstantRank1 True Passed
c2534fb0ec6bebeb5f00730cd340960c6b4299bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ConstantRank1 False Passed
55e5e2ad9bb604a0f07026fc1c963f772d120e59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Instance True Passed
811fe75905a20a55f8afd96fb8e18123feadcb7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Instance False Passed
407fbf5efe302250b31d912aa7ee7bfd29c1f81e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWith True Passed
395a96b4a643cb8224976b1e56035082492f5bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWith False Passed
b18aab99518618b0cf79bb243e8b6f040b82735f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamed True Passed
dd749f42f060a707bd967817fff91d9138659c6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamed False Passed
706f644fd794bc74a8d7629cd12b9032d91307fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWith True Passed
572e9fe0a029058bad26e4f0dba519d1defb4ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWith False Passed
962b8e2e2546f7d12a78cd9729d43ba5e91412bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceInFolder True Passed
10fa3fea6a9c7a478157807e702414cd44abad8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceInFolder False Passed
10604a7c975aae0008d2f50d8d24e6ef07ad93e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWithInFolder True Passed
cf81e788a9ca45c018d47fc556a1d01e87522554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceWithInFolder False Passed
067e373566097c1f225c2e936d2d954ce64cfbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedInFolder True Passed
31facd5be8fd95ab9c8e4ad65a4bac37e201e008 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedInFolder False Passed
71ac3060ca7bc25006375a3bd0adf8bbd2ca940a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWithInFolder True Passed
3002a7b8304410bd2c0f1d7e8e87acfdbf48c7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedWithInFolder False Passed
ef28670d239bee9610335ef7dd15ae9ad4b54b3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Enabled True Passed
b235d939d4cd6c41ba0231d91d86ddd3566fb21c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Enabled False Passed
bc38ef7112cb99a98014a5fd18925c02b34fe076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SubsetEq True Passed
f0e4fd21cd6633f1b2fc6304dd5bab6b4462457e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SubsetEq False Passed
0a33443b64f5cadc9762b0ee27f03f378a5726fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfCond True Passed
81e4da302a99a7c8b449aa2b24d1658ff43a50bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfCond False Passed
5e7b142c6bcea899a3d723cc7be67076835366c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfThen True Passed
298c64d325d40669f33c0881d6fb624a5bed9d0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfThen False Passed
aa460060b5998c5e051d00a330cefb6c84ba2880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfElse True Passed
4feb0223f52fac913ac8d1ea891dd8836010a26e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfElse False Passed
77de86323efc4579d341f4e87bf93af8bb52a658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Unchanged True Passed
97f298cc7073512833bbc86787119f2e5b5bf9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Unchanged False Passed
eb0bae2e04dac0b040e044d29cfcf7452ef3fe51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Equivalence True Passed
a9ee9881e4a96c9727a1f7f00b181131ce8dbccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Equivalence False Passed
adf8e9aa8e295665f25efedc8d0fb7d9c978ab60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not TlcEval True Passed
0cb835b9a583065d11116cd4cd3a81131f41a40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not TlcEval False Passed
bb9fa71153a96d0f950a2e87f45e70a5c6f3baa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagBagIn True Passed
e66f981de949973d33a9afa5c4959c670c1eef2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagBagIn False Passed
609edacc94b3c5e4810d97945639ade04bad9517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagSubsetEqBag True Passed
ae6e34f075e4558a269587b886f2b37770584738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not BagSubsetEqBag False Passed
23f5337208cfe0d5c9de1cdb9c345c591cefb420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FiniteSetsIsFiniteSet True Passed
85054d560f1a87a65c7a4de21372e09b5a94179a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FiniteSetsIsFiniteSet False Passed
910c2a2d0ac676f78247fe5dc168b78c225f9602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SeqHead True Passed
71fd97a51065fe1e34e1017ca81ff9ee06695239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not SeqHead False Passed