Index

Tests by plug feature Tuple; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
52b7255dbf28d50a768f48edbe33ae04a26ddd6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Tuple True Passed
0daddc21c35ac4c3fa4d9aa736b1ad9765ea5273 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Tuple False Passed
9ba013b249aaa6436a9048ca59a82ef9730166e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Tuple True Passed
171e6fc629b4570883de17fcca66f588feb149b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Tuple False Passed
7a72c25df30603cd6c9ffddfa1c2d89d1d27619d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Tuple True Passed
aeba51f2a3ad724e57b669ca787ff61f43566729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Tuple False Passed
6b10447242e6630d3788374a913c9bd22110e444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Tuple True Passed
96fc0c0e62ea8330fb6c7843f1f21fc5c1cf894d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Tuple False Passed
544f5d9d49672c8feb6cb95a73a6393203282cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Tuple True Passed
7f1ed01fab2067c339f37c52f04d9c0d67a4d052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Tuple False Passed
9a6bc34a1a64aa8ecfa2c99db4830afef7d723ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Tuple True Passed
b4d0a1559f909a78c6b3d52cdd53de1fd98216ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Tuple False Passed
48f1169247d0ce7bc962012d6fc5d5cad6d76af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Tuple True Passed
2293b0e42a6ef3e82404bea3d7fbe96a31710670 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Tuple False Passed
7b7f12415b61d5037570c4d930c04205e6c787be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Tuple True Passed
677426737ddbfb8148b0e295de80d59f680300e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Tuple False Passed
7c337896cd9f87595547a1091fd35fbbdc1f306f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Tuple True Passed
12cc991d4e79f622f1a160c29484255a8c90dbcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Tuple False Passed
afeca293477e5b5960b80ab1dcf19f0c0604349b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Tuple True Passed
9c0eb260b43b1d5104a624a2cb90a1ab19f02a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Tuple False Passed
d62393adc6655c95cede644605f32489cb1d1297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Tuple True Passed
326fc18b5d6240446518f11ede17b933174e3ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Tuple False Passed
b507c68abf2ee68d323e86ba759d74c0f66b28f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Tuple True Passed
dbdda16a8475ee501d35e223bf06370b152c34bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Tuple False Passed
ea55d0923ef05044a178b2a7ce47017afc36f187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Tuple True Passed
4d6d0a42499bff46a3ebe944e59675c01777375c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Tuple False Passed
04a52c8b954728dd0dee1d37b81eb57fa6c19bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Tuple True Passed
b32a1eb110d574fe09077c30562da0294d8d0203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Tuple False Passed
9b240ec08d5d767c55b32a7f144971ab617d152c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Tuple True Passed
326b4edd8825952d81b630c57c723d6fd5640b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Tuple False Passed
8e0006aca39aa3dcb7e32fd6bbc4e3e2b858269d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Tuple True Passed
cd9a54be56d55e36d18ebdf732e1b87c0a661516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Tuple False Passed
1a5c28f0aec0bff00984752c750d126614faf4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Tuple True Passed
dd1876cd61072acc09eb43e084e38bf82a1bc77b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Tuple False Passed
e83a5afa9636f37ffc9c30b795cedecf0e8a3a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Tuple True Passed
b442c86552f83b78a2a69275f35b47863a3ff22e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Tuple False Passed
273027890c6d3c56f04602d04cf4c706716f95a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Tuple True Passed
de20eed24ed4127b49097c082b3cd6a1dd0af01d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Tuple False Passed
3a05c434248ca968150f5c76dd3598b25ea9f864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Tuple True Passed
2bc54b9b5fe6be40430ee98cd75280a83fbcd288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Tuple False Passed
74ad04621355b1d4a3e6068449a3ae32cb1ba316 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Tuple True Passed
0e1bd5a2c2ece6b91b5c6532506fbbcd6d4392ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Tuple False Passed
0867d2b3a0a6f9a840c6f8d8de25fff829e9218c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Tuple True Passed
d0733d679fa56d7401fd20f3ce58f1a3cd2bef68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Tuple False Passed
42524649d537527224343ccc814e14d5147c9e00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Tuple True Passed
85f064378b340aadb873acb8c952417deaf00c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Tuple False Passed
8195a7daf609740d85cfd97fef77285b8cf77c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Tuple True Passed
f883c77751351ed25073d1afa157841d15325035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Tuple False Passed
8b4e239a4612eb355708bbc50bc7a504af9bc0a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Tuple True Passed
9013302fe064b50b6faddf597704987235b65b7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Tuple False Passed
1b470eec2bc30cd74e0be775c5e40c5074d2e746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Tuple True Passed
af9a4ec7a09932cdfcc24cceda47891a4546a7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Tuple False Passed
c5f601b39dde5b3ba3b31a3182070b2f0413b4a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Tuple True Passed
073d519555358d1524049508c0cd1b32dec1f150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Tuple False Passed
3e9a65b33af8c6efb653e7f99b6ccd65ea6ca71b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Tuple True Passed
dafc59e15ad1f5db1226e04b68ed156f6419083e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Tuple False Passed
96f410f6ef9ee074f786ed07b8bfb33ce4156b45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Tuple True Passed
51d61a2b89a43844ff05ad98ecfe998b959606ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Tuple False Passed
e97c94833139e8b2c342bd34a75f387de5ee1f52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Tuple True Passed
bcc0939be7a8a1c6c0b6062d4429c86978c7d135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Tuple False Passed
9d23eb2481ba75859b0ba00a059c8f736b449b8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Tuple True Passed
818691801047dd9ea1f0ea0dae5ed72df79627bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Tuple False Passed
f1621340f944f6e864fb06a6d3513619ee760443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Tuple True Passed
d5bed1a8b7cb063afce6b6552505523c28348882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Tuple False Passed
073d1cd21d906d21a97bd450cf4d7a31a7fc8a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Tuple True Passed
c623ef09c818d7e03f54ba41a084152a6d809326 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Tuple False Passed
deb7a266574fe436e96a3dc79def5d6f101781da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Tuple True Passed
c7f8e7d0af330a05a2c89a750b608e3275c1e9c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Tuple False Passed
81ef49264af8b7088299c3d01bab19e3e4d9a0db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Tuple True Passed
54f18131b8cc928cd4abd4746ae3c5ec4f26df7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Tuple False Passed
60f96f9daef0eadde2c7e6bec564efc2d6f3fcac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Tuple True Passed
ca0294f1388b255323851b8ffd1a7b998389a038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Tuple False Passed
2bc3022aa915b672f1a5f781a354f684055e28e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Tuple True Passed
124b88320538f92ea50d7fbe4d1f3f471959eac2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Tuple False Passed
b73087522688c8b5ef7513266bfd91a3a8f64953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Tuple True Passed
30f256ca006c2155886b0afeff1f0028d2ea19b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Tuple False Passed
2d34a83093c04c0fcffe161845be4a28dfb54284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Tuple True Passed
8508f1a558cb54608377a1c2bd4d1ebc8a7a8421 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Tuple False Passed
b35dfc6caf46de1ffded717b6f85dc123aa30717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Tuple True Passed
370c70d6dcc6a4f39ce29b79d0e9ccca24b27a5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Tuple False Passed
b519f0892d2a46bb2c1cff14d261ef379e3cbf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Tuple True Passed
c390f203ceafb6245f0ded75b708ec56fd705b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Tuple False Passed
e1f781690617cae846ac9d56245a1b2a47bc2488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Tuple True Passed
299f5425a799600748dda7ddad6fc78adc6c489f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Tuple False Passed
d6d6cf07ff68f94fd5a0f6a890679c2f2f74f77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Tuple True Passed
be0bb0158714d0c37ea6003b709fd8ce5e03d8e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Tuple False Passed
7d21b4d7f9d6bb4ebe0e19c784b21001438c750f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Tuple True Passed
6fb8a3648b42cf73d95069de1ec00f00e02b461e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Tuple False Passed
5c4573bd6142a9ec4f83d0737ef53b7e4b72602d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Tuple True Passed
0bbb62fbdc7b6aea31184dbca8e479376c002150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Tuple False Passed
c7d67d34a3d923b8db48c57285e45b94c3685355 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Tuple True Passed
794199a1d2a4c2f7508188dc83a1c6f3e22e6b77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Tuple False Passed
1c40f039bf75cee07187788c57e266abad257f75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Tuple True Passed
8e570f9971acbce3cdcfbe415c516997e5311f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Tuple False Passed
88610b9e4c3adb5bbb0e06cee9394b2391339acd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Tuple True Passed
dbb76bc56047aee9095166572abdd10d0eb759d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Tuple False Passed
5904705d442c8b461e009494da3db2297ef4d3b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Tuple True Passed
8811eb3bdf72195779ba6fe044878ddcf2cef722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Tuple False Passed
4939995eeb7692c58777518ddb9ded629139de8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Tuple True Passed
987069c9361951bc3ebd4a954deb99a9708c60fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Tuple False Passed
fc8f30523ebf03230e4b1d6202625ad9f257078d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Tuple True Passed
b1d3d7a6c0217fe08df8d4cf44157e0063ab01a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Tuple False Passed
0f0cd25956fb6b1c6abd0f4117ffd9a002ff0430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Tuple True Passed
655131069af2cbe795148a81455319f61a1ea144 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Tuple False Passed
4903159bee49219eb59b62bf0d10dcca6f65339a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Tuple True Passed
02e9c1a3ec91b57e7da11486395836d44ae055ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Tuple False Passed
96b5ec662a55c4a3ba8ab0a8f3a54de22bb73cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Tuple True Passed
82caf683756a978de36d58a323c311b72c25aae4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Tuple False Passed
72cb22a0b90332552c1887b7b1c4ce9ce8ba3492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Tuple True Passed
ab8ed6fd6c90c78479cda7490d5e363a12f922f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Tuple False Passed
c91530845b7cf6700d8bc4cbc9f7d59907ba825f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Tuple True Passed
293cfe240f4adf9189e661bf9cb9841b5e41feb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Tuple False Passed
c55e01cd18f2e4add7988ad2b10637c97fe5cada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Tuple True Passed
33e058d1d982e299ac0f6c46fbb821fd2be3272b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Tuple False Passed
66e0fbd47f3374da075809e00135258ba00c4a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Tuple True Passed
30ae537cf6288be23b073347efd71569b284b83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Tuple False Passed
ce864a37a703e9374274d4fbb2b9ea7de141d230 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Tuple True Passed
3d544ab13a08ee5c1da2dc645fe906059747c9e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Tuple False Passed
5f5f1ca5b7acc5807d7dc34de5d8a9f6259b009d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Tuple True Passed
915f48c98d20833104a0b74e5bc59f675833b585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Tuple False Passed
6f9eb5f73ce7374448147927f0802dcacc3f5bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Tuple True Passed
72d3aad1cb680419fe92c8beaecc183507611279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Tuple False Passed