Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3004b7a6106fce9c2680986642508daf27e54bb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagUnion True Passed
9ca69483967e3ac56d398cbf3d1c6481b5f38f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagUnion False Passed
2c217f8ca333159a1b383d557dc2cfa6a279e597 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagUnion True Passed
49252ecabfc9cb694a686aa47de374def1d219b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagUnion False Passed
0abe4467cd797d1d9c7443064e3a6b0013a5ab30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagUnion True Passed
078665cd8f12708bb91f8a56bf9cb4f6601c118f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagUnion False Passed
cfa0a2872920e1f51ae2a3ee652e1a6a4bd05f15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagUnion True Passed
84f8c72f91265d05d2c6dc94bf068a0db26a66d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagUnion False Passed
46756fb185e8b128140c7c356bc90c982f3423de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagUnion True Passed
70c43a5c1e606810b62aeb1701df84a12c321d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagUnion False Passed
bfb925c0eccf5fe85c3441044c88d3ece6046240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagUnion True Passed
9778ff4f248e9448d0df74551d327173cfc0cab8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagUnion False Passed
3de51bd29ebffc41ede0eddc770a875b4e80a08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagUnion True Passed
d91c3ebd1fbddf3bfb1fe24af462eeb033cf0377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagUnion False Passed
ab68ee7cdcca1efec46fae2147559a5a72d4acdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagUnion True Passed
2359ed6a2ed9e8786fb02103e558879e32239e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagUnion False Passed
151d2efc8a3b625e8744ac7d1967ef6241444369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagUnion True Passed
16dd891e36c0f6694c3340657a8e5e2b71c44ffb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagUnion False Passed
110e34de1127ceb4b5378faa04481286d2eb20e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagUnion True Passed
9cd1f26d47a4ae3ca3b2b72f908067d13c49f590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagUnion False Passed
33d9bff2e0ab0b83c9c559011f4a4961f353097b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagUnion True Passed
7a46fad1b452620049742176b1e658d1060a8b6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagUnion False Passed
03145ef869810e3f1cbb8f98383e793658dbe650 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagUnion True Passed
cd003389dea5bc3f7cf00cdcc23b7aab33bc9717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagUnion False Passed
d951357a9ab7a1d7164ee276e4c87afd85ffd02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagUnion True Passed
0655c349867f48de73b7acb3fa34125799f689eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagUnion False Passed
4c15e1c34314c5acad36dc36162f197bfaeb2138 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagUnion True Passed
e1e0fe1415c65c548397eab2eaae64214c596a1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagUnion False Passed
14c08d6b8cfa3c78b18a095d89c7dd0f6e9f008f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagUnion True Passed
48ca2c3f91859f0be7353fd7635abbb0982f4c8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagUnion False Passed
522d50d11acec5bc3da8f2303996abc4e92ee17e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagUnion True Passed
2d74d2ad5b9dcad91e78ef99685a7a7a02ee679d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagUnion False Passed
63a69e39d980e4cb39ea59a01c4582406bbbc997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagUnion True Passed
3f7dbe54b2eb234dd748e3b6e5b0bfe708d07563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagUnion False Passed
3abe99c331f1eac1a9eb0efc5690bf24b2863562 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagUnion True Passed
0745025aa91cceac7d6e6182e56e9fc3da56eec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagUnion False Passed
18bbee1a5961b3a6fe3155f8a7a20021476fc431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagUnion True Passed
07abf563f0ce9821300fea24f08a5531332aee9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagUnion False Passed
964ddade3f2a40594a31834881a8c71b8caf608c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagUnion True Passed
6b8f0984225d66f65b8545c2d569faa43c2dfcd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagUnion False Passed
c5fc3b7572f3bfb4b1cbe934fba46c6624549a33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagUnion True Passed
1ff15022d09284e2c63c9172e30e1821e7a55c4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagUnion False Passed
eeb0985ca4665992fe705de359a544509c61ad88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagUnion True Passed
0bca2b52cf2a4c4e33e767cb8f34b6dbc9ecc1dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagUnion False Passed
cac0712d6f308bd08c6fd47203514d56eda2926b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagUnion True Passed
173f22414d2c824187b0f387c46dbe1705777a7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagUnion False Passed
69c7aa17de73261b4d32cd548b29975e76a9e6d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagUnion True Passed
19076763ab9be9c81e475d9c941a37316f048be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagUnion False Passed
df62747ac2fabda2a79717bd407341444090264c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagUnion True Passed
ede864a9af8d4b87642473ee47751b37ece07097 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagUnion False Passed
3a402f0f3e0b0a67587530470740c70c9a6516a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagUnion True Passed
68d800113222c51f567a3d1a3f14f6e3d7c771c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagUnion False Passed
8a814e33db448ce8f9574adddfa069cdd53e47f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagUnion True Passed
9e82e6620de98f3bc753b6cce08f238a66c19a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagUnion False Passed
f52f077ce145d01a9e23176d4e644ad13b61d607 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagUnion True Passed
0a9899f8d291ff684e5aa242694d378b22034ef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagUnion False Passed
37dfb33b603bcf2949bc6218fbe4a00e67a1a51f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagUnion True Passed
fdbdff305360f5e99a40750a0ab2e0da4f2f3f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagUnion False Passed
a923265778af19515fc3770be968ec1658f13a17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagUnion True Passed
b077389611db4ef6a123d44bebf1b2af20863d7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagUnion False Passed
4e05933c3ecc7687ecb5df5cf9137fc8931cfa45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagUnion True Passed
8e4ed2f67f8c467ef3e617bfa069c314283e8786 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagUnion False Passed
0a16c7a82b1ef4b3b1fed88dbcb81ddfc3e3fa86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion True Passed
aae6c7ae560216aed39d2f5c5bf3413ecfe21905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion False Passed
92694aab991937e94ce772438ad89d9d1b00ea5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagUnion True Passed
434e0526edc8e3c973187cad6638c29b6416cece TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagUnion False Passed
10f76ea70086900223daf496af9cc259cda74e6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagUnion True Passed
1083146620bc6148a691ce128d8a10f6e4b2d024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagUnion False Passed
3af4a266136ead5905d7f4e4f7981f859abd7e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagUnion True Passed
00e4496c04425fc78ace72510d39c967315e1cbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagUnion False Passed
03d3e094225f03bcbdc6a727396a67e20f8316ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagUnion True Passed
0742d693ac55090e8863c753815364dc40f5d095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagUnion False Passed
740c4e6a69163c049b60c8053a750b019e1e6031 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagUnion True Passed
2854d5e542f3d0ac7d9e5e5ab821318037d3b04d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagUnion False Passed
ed0e44bd618f655fd7187ea7b5fbe446eb6f16e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagUnion True Passed
d5c2bfb2b21b92c9b35c3e105778376db2a9799e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagUnion False Passed
8f7cd933cad7b77b41c3b5ceeb2e77b48a2a1ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagUnion True Passed
6ddf4a049f3ccf62bacd37ec45e078ea05f69a68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagUnion False Passed
a281e9566cdb0c28b3cd2fabd20532e026a04a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagUnion True Passed
bfa1cacec0108eefef187363cb3094e698b961ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagUnion False Passed
3f687af01f0b77191fefc5312848369d4e837080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagUnion True Passed
c1de3911481c8e87dc99828cfcf4fce89c82d63f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagUnion False Passed
49a84a462fb38fc2c701f5e0b1768d5ce74af13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagUnion True Passed
702ebef8e37a4831d341ddc5c1026319c11352d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagUnion False Passed
e5d7d34962bdf4a8852934d8893900438bd61e62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion True Passed
253014413172449676b8b6145c3ea0350bb93627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagUnion False Passed
0e02e2adacda17370c757dfe4614a98adff079ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion True Passed
4171605497f7959f3d0c145f74da4639fe28dd9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagUnion False Passed
c098b787d1060ef8b2a3f0131c5c4e3a51c67ba3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagUnion True Passed
4bd47f632a5140c23725a76d41cec039ea66952d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagUnion False Passed
d39945ec24bcb2cfee2adbf32313ee98a838e66f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagUnion True Passed
70fff4b522b07e6c21b1f4c13e12c8ed1ad0230e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagUnion False Passed
9f4f64a3d644e135c43d5fc9c4a706154d44a02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagUnion True Passed
7c9495949d0ff4a511cfab49512305359fdc6ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagUnion False Passed
f2a2b420bf01e4337aed131cffeb38a419f73cf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagUnion True Passed
7e55c42883368f64611f507ea433be9e5a4eb24b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagUnion False Passed
688f41423d98c07be8432bb3ad73bb977dac25a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagUnion True Passed
d2e6454a91a48da55b826d6c35522aec2e9c74a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagUnion False Passed
d016972235cca8b275fbe9e261f88dd782798ef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagUnion True Passed
6190682799867dbac3677adcd2036f952568dfdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagUnion False Passed
f9bb04271e712c771d1376a7090985f667ef47ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagUnion True Passed
50a242cce87918585caf52929432d9abf115e458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagUnion False Passed
be5af5fbab713ebfd9bbf520880ae3e33af712c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagUnion True Passed
3c5f4e1ea3ee3f2d8e53bbf2874fc2984126f09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagUnion False Passed
199d302b48de52fd9b2a6b0723c39242adb72f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagUnion True Passed
e1daa3fbbdc53305247d8e67c514ae6e6ad9ea4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagUnion False Passed
f07ae6cd2cd1815ac4412c8a37f87ff00d4405ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagUnion True Passed
f2461fd1a3536437d119ae279592bca413f9f648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagUnion False Passed
4149274cda7071a43990f0138a3730280f92fb40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagUnion True Passed
c02f1d02177b5ef934ffa3932e7447ce6e80326a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagUnion False Passed
e077d1b5a76b9f6f441ed0c94005d2e18f496261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagUnion True Passed
9c4460da67f4289ff825f7af63b3e92e2f56a3f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagUnion False Passed
eab65885051edec2c120e2469d4e7f104ceb0a46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagUnion True Passed
37bf44f4f735b5e127c976292aaad8448ce19486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagUnion False Passed
5cc30df19d72c5ca20c1decedab549c183f8468c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagUnion True Passed
6c2c73e23c24ef7350dfae8f0013010aad4ffa13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagUnion False Passed
d6e543f5ed6c7c52a7b3f25891f698fca06c0832 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagUnion True Passed
0e0974e3836845070ff2db77896e1cb5fcf3857a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagUnion False Passed
5ff07e028a965f164164b4dda4081f77108175c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagUnion True Passed
f12be2520e8a79bda05b140ca191155f4e19b910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagUnion False Passed