Index

Tests by plug feature BagBagSub; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7a30b019cc726123178a0d3865242cb115e19ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagSub True Passed
2b3f88edec5d150007d2e4f3c5f9747bd8825b90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagBagSub False Passed
9dc8d7b5c174b71fd1022e33778b0bc7772b905b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagSub True Passed
d053f145148562f1c065768c520e6c1205f317c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagBagSub False Passed
c225e022733ac9b4073ad61b692762adb1eb4514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagSub True Passed
b8672c97b1b3d3081f2650b57711025dfc41f24a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagBagSub False Passed
5f4125015dc6338a3749999730695a5ed94d3e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagSub True Passed
87c1d5b54ab211f2e59bd0ff68d9dc3a6c677bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagBagSub False Passed
bcc268196d0a0afb0c341529a26c396f23db9ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagSub True Passed
17d11c0b8072be73f1d82e9f14c608c4b98a4ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagBagSub False Passed
37d0112ad329c242bec24521dd9c943b14bcd3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagSub True Passed
a52668695b2267a6ca84a91a200261105b408885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagSub False Passed
414f9917019751a66ebcf6bf3abe8f2467c9533a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagSub True Passed
726465dd9160c1b9162e7d81ed4d7454d6b77793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagBagSub False Passed
93a5aff72296ae2269465f76154bf19f196ccc9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagSub True Passed
2075c6a59d9155414b5fca540b467577cb82f80c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagBagSub False Passed
de4b768a856f49315d56194251d4e761b95dd5b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagSub True Passed
a388d3d9a63219915cf6fb9647611b2cd45229b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagBagSub False Passed
c9447ed299fd6de9001cbd4536b4fb0ec12808c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagSub True Passed
8f4587058dd6226123dbb9aa34a8b75c25d27a38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagBagSub False Passed
69c52affa77ce825fb907fb94e2a9fb9c3771fb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagSub True Passed
55973637470e25ad623e3462ec2ce1ddecc1497d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagBagSub False Passed
a059d0ccc2b89a9cadc7eea8ef0f2ad241d21250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagSub True Passed
b6775c16c7278d16f5d51c4ae333c0e700c101e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagSub False Passed
834b974020948a78d51501ffff9cf25e13176971 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagSub True Passed
b78dcd30891b609a5c791b7c990bba8c30971e90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagBagSub False Passed
607fad8e0bf526dd9b73f15926a85829bef7f552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagSub True Passed
8a9e45401f164908e25f4e8179b7d24a1edccf16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagBagSub False Passed
84d86d9920a177138e8b858982949a005bab5303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagSub True Passed
e2a7ce3e8b8a987d41b124954c4050553c94886b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagSub False Passed
df207ecde2f90f4fde497d48726635defadfc73f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagSub True Passed
c244fe32b46c6a863731009ba9423b022c5febde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagBagSub False Passed
e54b9a089bd01e2fa74b1b1f4b8372ef497cfde1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagSub True Passed
56bf2ea8088586468ea48c157f7db55c55dd10ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagSub False Passed
0c6e73050f30fb2d1245d65e439dbcad0fb2a475 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagSub True Passed
c8e65b5fb12dce2b657b956410fb07e979b1f233 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagBagSub False Passed
d25694cd1ccc8a0c02a6eb04c0f349a7e5d0cfb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagSub True Passed
51bb6347bcc65c4b5f1a6629a887a8e20bb15197 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagBagSub False Passed
7d054fd5b19f09a20c6156855bd92d9e60717ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagSub True Passed
9583f179db92a5336efb7f632978e0213a866732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagBagSub False Passed
9f7c99db444dafcd9a98559881e57b8aee47ed73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagSub True Passed
66d746a0eb4a131dfced7db42e90bd992021175a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagBagSub False Passed
f9e59b3786a6260288e7a65fd8997f7f4cbb90d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagSub True Passed
43c95401fb9e7ba9caac496216dd9ad9302dbd02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagBagSub False Passed
dc3db5ac8b7af3d22a88b4703cca754861b06ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagSub True Passed
96a3baf424eb9eae218471f0f86c81358d916d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagBagSub False Passed
27a8ecab97a126f0a1be2ccb319fd0ee1248c634 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagSub True Passed
6e01704f540f10bfbe6400d1db718bfa86596187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagBagSub False Passed
cfa04480627b9e395a306771c3dbe26d23383d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagSub True Passed
3d3ba66f99386824b1a2dca68d4380da8b08c928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagSub False Passed
6dcec61f7ed82c99bf6bb6cfd65f62f3d986e58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagSub True Passed
9df0a7b1d61a63f4a54aecedb954acfdd72225ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagBagSub False Passed
d00f7638658dff21199e3df347fb6275516edb4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagSub True Passed
e5a9454a3745d60bf56df94e953020257ffd95e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagBagSub False Passed
0982fa154d0d33cb0a9be610228abb6a64ebc569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagSub True Passed
6caba2c72abb15276ea595ef98f28ccbd374c889 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagBagSub False Passed
a723947ae63cc3bbb0c870346e8ec8c3716075fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagSub True Passed
84a466a00304198ea70ffdcef5dc98b0fedff9fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagSub False Passed
f2bf192ce1175c55a5be680002219d1887fabbff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagSub True Passed
ff5924dc73953a14e1fd4512dac6a02f730fe7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagBagSub False Passed
6d07888f9dd16f8d676e646be449595a7b956391 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagSub True Passed
7a97581e2d49004718153e3628bebc27a721fe56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagBagSub False Passed
f2c2cdad39d70d7b617979c474e8255b67f4b4ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub True Passed
4f3a13e4553d3196e77d8409ac6103de7b0dcb70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub False Passed
74fec76809f5eb3010940e4c11c65f1cfd9d0d49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagSub True Passed
2bcd60c932edf7e737bf2f31f3bedccb07ce5b0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagBagSub False Passed
b9f196835802e57265a396f468bf7df06a1fef48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagSub True Passed
204ed5cabee50dc01a6740601e1bff7a480de6d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagBagSub False Passed
7f767276f7484aca83b755c36864f08a98c3ce0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagSub True Passed
58db5923914f89fa5c261e9815aa0259c0623287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagBagSub False Passed
9fe141ac0f3f844c306edf51e099823e70ab04e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagSub True Passed
b340b100d1456b9086a790a894d1939d4ccc3d17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagSub False Passed
bde16f070af0891fa6f9ec46322f60feebbdc9eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagSub True Passed
f5d9ed9c8c34750245839bb9ba4d719c4560ca4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagBagSub False Passed
700253fc02bb1f36f42460fba90c8a33effa0d45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagSub True Passed
dae48f820bdbd35917d57cdb0aa1d3899a6645d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagSub False Passed
2e3c37b8b4c3548710b7e98536b2e23aa029f103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagSub True Passed
e739293aef809636072c2118637ee15d77944837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagSub False Passed
1346421d403fd51968819c8763233ecdaf9e810b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagSub True Passed
3f96bd1bd21b36fc93735d566a73db552f870eef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagBagSub False Passed
fe1fb8c4abd1fd0d6094f3baecab56df102a0b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagSub True Passed
73b4e59a5473e63463255b9cfb09b727034a08c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagSub False Passed
4ef54bdbcff1a9e7f6c466950db0c8c40878c66d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagSub True Passed
96ea38bda5000bbca85c88c9dd8bc4841ae66573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagBagSub False Passed
12a2ae969e9be250de3a5325cfe2db896db2a2a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagSub True Passed
67f03a3b819d2a1bd70ddb278124329967d8a364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagBagSub False Passed
253f1bb80f1a6f0cc63f6e12d6b0b578be78b497 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub True Passed
ce9fd30d2af93f65525023ae2685e8aa7a657cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub False Passed
14b79408da10ea69679fec88f36768c076d71cdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagSub True Passed
87d978da343f73a3fbe7247aec11c24c4936b3d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagBagSub False Passed
5c13adea8a605baff3d3826254c5362b4a4c0461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagSub True Passed
7758779d9256239968b394bebe37ff8c75ddf451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagSub False Passed
973bc88af0f2bb6ec8564a7322972591f2c6e17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagSub True Passed
470cf02b036cf460fa34f7f72311636d3ba66e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagBagSub False Passed
ab0da1736fe06c615e8fd516e94188cdb6b3e7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagSub True Passed
089d9a4b43321efdf2a2ed7c92668edf9952d8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagBagSub False Passed
682b1d47ce515fc942494eab43b0b8948007f699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagSub True Passed
f184f45cd2aaf870bb355778992f7a216a16ff75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagBagSub False Passed
434e328d842f4f266ea8be56eb3b5b06d6c01bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagSub True Passed
0c74f5633725ee0f9290c420d935e4c04f244249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagBagSub False Passed
aafa2bca1d13580b1d51ce08eb2877e278f5e52d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagSub True Passed
4aefbd0e4e3f417b6e0da3791bd610a6c11959ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagSub False Passed
dae98916ffb69faa03c8b3c8b05463d4df57491d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagSub True Passed
d213140d4559425ca0380b9b205f4b663fadf277 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagBagSub False Passed
efef83efdad5f9295636118c461681083d27b29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagSub True Passed
1c0d47aa014a8697ae9233582a68d88bccc9e16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagSub False Passed
de4bfdc2893b48e2026e25367a7631c431e8de9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagSub True Passed
97cb4690e6a104e13c6c3d881ce9787782fa6985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagBagSub False Passed
259502c49093a6df2a66d77a3682da0e0da5feb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagSub True Passed
83a25faafaabc35d540dba850bfc84a62fff7288 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagBagSub False Passed
7f11f9b7461dd65e3a2defb59055e2a4d0f7ab50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagSub True Passed
f4fb2d9899c134573f23628cf2a62bec59d1f428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagBagSub False Passed
001672c53701d6699266f125751a50796a199fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagSub True Passed
646fc90d1f00632ef7dfca1474d57698cc942dd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagSub False Passed
370fe6b01f1568198569b09da75e45cb5f840c4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagSub True Passed
914f3347921efe48bb24af24ed841f2c3dcd47fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagSub False Passed
0fabb9a15b85126561318df6dc3e8731e64d2445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagSub True Passed
687ceff83c1358ccfd6294948221ea31742ace5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagSub False Passed
f269f572da6c7fb630066899b2f6e3981de82c38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagSub True Passed
0e4f0beb5c2db37ddc76035931b7a86319f138d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagBagSub False Passed