Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9717d4230c2a4edcf392dd353fab39497ca50603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq String True Passed
df8e506a1714685af150520d7fc079b7a98a06b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq String False Passed
1da0d69ca724379e8f6fecf51a9bb996d6951b39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne String True Passed
d32cf8a11e8c2e47ee6fa323cb308945936268e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne String False Passed
b2478d9bbba5ccb1626356c11e3abfae00e0d789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let String True Passed
32b5dc6256a4f78691a9fe22c17527e8d9c90123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let String False Passed
06c396eeb8b2b12af6c16fdeea778b6119e184e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 String True Passed
125e74d7deb6db1df37a110dfd94d888a168b3be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 String False Passed
6bfadd0e9a26782c0756928ff7baf3272924ceef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 String True Passed
af41828f9389a53e0274cf09240402c808ca7575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 String False Passed
9c30202e2ec7469ad14e1e3842291c2356d7f5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 String True Passed
b0df024092668dc028d9c80d80c2cf4f9c1b28c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 String False Passed
d8e0033a5aa9422c0ce6c1bdc397b6ab57575871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun String True Passed
c37f1a267c69023125e80218e0460bd7f5f8e675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun String False Passed
b4d636748c29894d7bea14f91b43464a7fceed19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In String True Passed
1c6c22f61b5d1eb2b0213830a7bf141eb63dd354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In String False Passed
6f75c858183d922c1dc1a45f6f89003112f60d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn String True Passed
eb1d236295fad7572d61b24c7b9fbe216bc74f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn String False Passed
8cada75e7b1a1f68f764b75ff919a14eb3eeed3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record String True Passed
c498f909a4a67c778d3e8c287333da97d341b0e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record String False Passed
5796341a6cc76c9c8984417d1d14e1db6d67d8ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple String True Passed
9e884b08464cd0b9b9b76c391b7841c40a24a862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple String False Passed
59c75b00b44a1d7cbdefb7d68d1806b05486f01a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp String True Passed
038a2176f90e1812d64cc75599ec33eb810c1a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp String False Passed
e1dbb56245786d554027ca6c7e9f1698d1017b92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun String True Passed
2b4a5cf9ea26a6bfe53fa86019e8261baf2ee2d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun String False Passed
a512e7b56309d2918d441adb400406ebab51161f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt String True Passed
7ed10ed7fa34569233e0663eda96f25eb8633bbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt String False Passed
82dc41edeb02a7637e44027af30538b782ead2b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec String True Passed
79d0e1bfdf5ee5c5f70c2d6543539ee15bef8e3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec String False Passed
3d8948d2460008bf48923aeecd6be5fff27f92da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt String True Passed
4156b4a6e52b72c77e6bb0d5f218d88a8e49605d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt String False Passed
e3dc44547bbd10eed98ba90bc7ea36ff8db50f2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun String True Passed
ec1fab5556b6e2430215242e0a5b7d6d53784ac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun String False Passed
e446b3aa75068b114e036bdd9d14fdb28d4c4234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime String True Passed
184ad15237fc11999ee4d283a21f8a8267d65c95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime String False Passed
2a81438e22fb1aac2c881c9b9c11c023fc8e1043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun String True Passed
5d4b64ec8204e464fa204df0ca4bd90bc2504912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun String False Passed
dc1a8bc7d135b8e18cf26a4f466311314c451571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun String True Passed
557cee7ee3c5289267b4a4fc332db43d54e68592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun String False Passed
0c2e31ae07855a9091888cf655f95994d9a7a234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive String True Passed
6f39dc8f950b92a870f4df8fc06e631f95d13087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive String False Passed
915a0843bd03aa1a75f5f0dd9a5786775d6cc8dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive String True Passed
79bfaffafbafe011203317113c972fc1e4f28146 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive String False Passed
9bfeeb5321c0f93d41f1434cef63c885c5f1d22e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 String True Passed
32359262bb73c8041e62c147d779be7340089c84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 String False Passed
810be3e11806e8802b1f26eb809dd2d975e6dba6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 String True Passed
032fc8d11859bb40454b54a45f94a1f1bebc24bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 String False Passed
87734c4c81434219015aa78f0236f2a5a9f1ae84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 String True Passed
e1b22a66419987a0f9011caae42de91314855d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 String False Passed
c59d0824c47bb43c193e2545944c1c77231d57d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 String True Passed
a4a0702ca97120a6876055af45d2698142b539de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 String False Passed
1fa7c4af9d2fdb240cd441977ca412f439b8955a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 String True Passed
cd9048c37c33fa77a64dbd6a305784ff75c8484f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 String False Passed
3f7743a27796262a17495eb9c9eafa1b0974863b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 String True Passed
7363999b9ff6bb7a27b44ee0d5b0eed7d823521d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 String False Passed
c0f0695f0ab5a60a24fd563f3ddb6b97d653137d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive String True Passed
136e749d30020efc15ad229275fcafa4bc033027 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive String False Passed
3b6b2f77cd23fd9dda16b76327f970261b1d07d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive String True Passed
460c9abef48dd463343a2f88d132af393dabf8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive String False Passed
b40280be0afb9cb4da59c1e23e4f3d1bd03e848d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends String True Passed
3bf7705b96a6dd0b797b2d29a1c7ee930b12ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends String False Passed
882677271ad9c1cfdb49512645383da82ea59613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder String True Passed
d91352880112475b42377f4eb9ef38ab311643e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder String False Passed
3a1631cdf2dd236097d3da0a097778e76e9e8df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable String True Passed
b6c3146d1d01ebe19bb28205b004d9244f495b1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable String False Passed
d2eda15bcbaf36d1fdebdecc7bc8b22444424fcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude String True Passed
f0881e27bae2afc5b8dad0f31309fe91e0194198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude String False Passed
900f4822701c8497d7fb040d7b1faa36dec4c265 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant String True Passed
f2e693b23110b3770d1c38f2e2fb9225c11f0e66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant String False Passed
3f5b6d7121a1f79bea4e4c2e932ec4b8df6833a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 String True Passed
c49bafdca9492eaf5d4b71a8931526e2a247f229 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 String False Passed
2505e326b57d48794e54b3cf7ca3bee4b588e795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance String True Passed
f5c4eea13426074a2b807299d02aaa532d014250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance String False Passed
24327181fae7608b8cc1b7d48e46a14d1bf8bd46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith String True Passed
2efa4149d5e9e3bf87121ad3905a53986a59872e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith String False Passed
2bbb5cf25d2d1ec188e68ced016c0b5fbb0c5de5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed String True Passed
05ddfc94c465c2f948984769feaa0b39dea53ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed String False Passed
7b98175c3b30656970ece389aa565516303356bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith String True Passed
82841b776c24bf745d339b07468ce526109b90af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith String False Passed
33782616d135b74d8cbb5416eae82884f8cccd95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder String True Passed
0ae08781a6641c80667f910115fc259ecf71acee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder String False Passed
f28fd3d9c0dda8515bb926f12ccc9957aa94e9e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder String True Passed
b955b8ad69929955d43750f9a4676811768225de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder String False Passed
f1e1e0f38d454b98897501323f9518c4d251307a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder String True Passed
c25b66a243b6ff3410783390509b2bd331fc455e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder String False Passed
1bd551b59efadb669db995dbcde5d66bf369e48a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder String True Passed
30ad861666e0c2d8a011229e5d2176382ae89afe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder String False Passed
df3a276b0449287275a7b13eab23bc9d62298504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda String True Passed
b377d47adbf4cec962f2577f9ac9901381f5bcc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda String False Passed
db684865b9a704e9b91c1abeaec4875d308999aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen String True Passed
6e8d3e81c726568e3fc23144a4c81f40098db7d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen String False Passed
7b23be2294b7126c6e963ae1d299b6958a4fd315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse String True Passed
82cd9d9acdfd0edeb9ab2109eee79b0cd380ed07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse String False Passed
6c5c02dda977eb6dea7c96ed0b59825f8bec8689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged String True Passed
6b76ead214138db3f583ecfbb65a8c4dff5660a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged String False Passed
73a3c3a401328abdb377d8013d289b6b2da5e1c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen String True Passed
5e34864c59e0051b0e89e869ce9b4a44021f0bb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen String False Passed
07dd455deafa4ca30778a1c962caab3d44b1350f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat String True Passed
7ab7c1226a87361e6e01f992444e14b275edd626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat String False Passed
347fb9c32a52d6091f1a752944b203de689ba425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun String True Passed
3a28a6192f90184e2e03fbb5506340c49023b841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun String False Passed
f10544dac19abb6c5b5b30fe6602bb6a9167295f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval String True Passed
05a598f03052a6b13bf29c4c802e53df0fad55f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval String False Passed
97bc833789e6b6783befe6b02d1b706ff6dd2993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn String True Passed
32865c9ed463a9bda2aaf57a05fc3a9190e6f4ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn String False Passed
5d496c2f62970acd52153deb2700b1e90c9bf50b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn String True Passed
8e30fb719a1ac22c141ea375cefe244c86d7a04e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn String False Passed
78a503924b32897d3b4ea5f98fc53763b5618b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend String True Passed
08e3b65ef08d7fa108d09d85dc97ace69c844b13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend String False Passed