Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
eaaf226ff6f5c315dedccd4ddfa90fc3977abc09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagSub True Passed
2103b0b1193fa387b86056e96a9686e00e3954de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagSub False Passed
fa16e06148c09811242283bfc3c9d15c2924442a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagSub True Passed
8720550acfa646a94ab7b92d2166d9d64c06c8cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagBagSub False Passed
2bedcf2854a6e2267c9ee82ee9bbcd920e221359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagSub True Passed
c43107d5dca74d04f9526031b914a033d4f6408c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagBagSub False Passed
a0ed1a0145c402ce23917f8e860a21c55a25fd88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagSub True Passed
00008ceadffc0a4fef6df6da1820c540b51c137a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagBagSub False Passed
0943efdb38b08c77b6d1746d5fcdd34cf20e148f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagSub True Passed
b339f42ef6768e14d984fee645ce6db5993f98d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagBagSub False Passed
32c8bc5e2782bdadd250a05cee7f667c0e09e2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagSub True Passed
eb81b0bb34e76989113fc03f9a593921cccbbd7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagBagSub False Passed
ebe9dae3038e8d8a29a2d39ac2554134f7f472be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagSub True Passed
1c6eadb8d18525a4cb731908142dab9267df033d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagBagSub False Passed
40c7780ebb9fa56e653436bda2603c548bcd448d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagSub True Passed
eab33783bd78787282b04b60170febf26fa50044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagSub False Passed
b94f2522eb4be3e524686cdce70b18d0d8aaff62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagSub True Passed
d0ab2f29b3c7401484f8a627e4512a8e26f90436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagSub False Passed
6b26ca1135c16e5ab54fee6a3eb25e002b3637af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagSub True Passed
4d8974552c05d02f5a2bbca20061ee468c8b0ce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagSub False Passed
5129b3c905e831ca3097e4bfbaf35ed90819ffae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagSub True Passed
79d4abcc6e57038e132020574860440b5e72f92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagBagSub False Passed
cb5772a0714b9f1bcfa069e93c490b548d8c1fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagSub True Passed
a11a6179989ef73406fcd0ceb1a761b2dbb99394 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagBagSub False Passed
6d0e12bbd7d45e794753cf7e20f1a5a209378192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagSub True Passed
a0d2818fc8349cc05d7068d9237d8a3eaa4f528c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagBagSub False Passed
e57538e9093ea624fa85f8352e58dfb2f351c2b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagSub True Passed
454e392c7e503f56c315fdd497e30fb01b4a3246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagBagSub False Passed
6f83ac4c663457e439d806556e7a624d46629d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagSub True Passed
ec4414b2aa38b560c02bd8e7e2c6b0b753ca1ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagSub False Passed
ffd80ea8be3c853be4b935639612dd8c1ef027c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagSub True Passed
e8acd65dd6fc2331db59c2332c50a189856058dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagBagSub False Passed
a7c5ac298f67e5da7c99163be9fd5c5af3233bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagSub True Passed
b42ec812c1ae2e97291288e4b56f095c438b8e89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagBagSub False Passed
77d38862c35aae5208fb40a43218273097f448ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagSub True Passed
e449a973a9e99713a8b202f2e64910a2e59e5b20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagSub False Passed
5442b97248652257fe45f275f09d634106bf0e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagSub True Passed
7ecc684cf609a204c18660caf4643ff971c6543e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagSub False Passed
b04d5d1f98eff8a9e3ad813ae035fdfb132ef114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagSub True Passed
44680a95e0bf2acc4938c8141b9fa4e4a5dc4785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagBagSub False Passed
0d4a53086dbaae781caf14a6cbd936864b54f099 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagSub True Passed
0a1d532cd3055f16ca5b5029416d9c140eed201f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagBagSub False Passed
b0b6fa98b32289a505858b65210c11b692711ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagSub True Passed
89654e215cee7c53d09567b86606ad202ec623a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagBagSub False Passed
aef5ff7e209d36e8aecc6923d24bb51e554cfae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagSub True Passed
07028ec7541198b933519462e4f44b4fe3a53b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagBagSub False Passed
5465de2e422ff1c3f12134bca54ab3df756ccc71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagSub True Passed
5191cfc6fc7254ba58f5017b5956b7ec20919ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagBagSub False Passed
981dd66f665d410ca77ecfc0c9994064dacefabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagSub True Passed
a001778b268e466e89d3d8168339a1652a8503d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagSub False Passed
08e32fdfbe8507ad7f0a9f11501c6a2cd7055509 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagSub True Passed
57b884219ef3bb0a0c9cf10bc1bab5b85f7cbb04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagBagSub False Passed
c2f6dd49142fd3e2af4663e7d9df02517c299728 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagSub True Passed
ebdfd15382226ab8056a832f035b017c0f98b640 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagBagSub False Passed
872dd03e8f0fb6ddc55496908a1b597d91f398f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagSub True Passed
6cc5a8e986b3941c84a9707fbca43a60233664a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagBagSub False Passed
4a3736182b5727c0818a73ee440481cde9396238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagSub True Passed
bc4703e624b4e3b902b825a1ef58b719f3bcc5f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagBagSub False Passed
91b18981d63ff419cc47adbda29cec4d4e07a595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagSub True Passed
2083e88d692e55d91548a873403c22c9bda2f963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagBagSub False Passed
e56174169138feada337e1be3dd9e072831b553e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagSub True Passed
2ab68d85a5014c500bb7725d1cfefb9ceec9d841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagBagSub False Passed
a8ca2f5f474462a09efd90623d17d9ac0d58d45d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub True Passed
116d27da789584ac55aa2b15440da053d7da8e53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub False Passed
139acc54b589c5a68bd42e5c1d1e7b4f4a87a7a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagSub True Passed
a757fafb34960cc5ba401bf7512bf371c46db9cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagSub False Passed
5b98e99d14b26f81a03203819e7b388ccf1b9a59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagSub True Passed
667e1cd3d5e694d5670bea9256a9b1d76232e741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagBagSub False Passed
857cb156d981ef7ca1c156057fe20f570a627822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagSub True Passed
cb331cd3a86c6ff312f9a03ffa456ec5fc8c45fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagBagSub False Passed
2d28a911e22ff88ef15b4726774b8730bfb6203e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagSub True Passed
be55b31e607f946e9496439b4ff1c3bbc1f009a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagBagSub False Passed
dd17dc0177ad0664f1e0c58ead4a5f750be8c9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagSub True Passed
f995a130c87783522dafa0039e60a2b4af679caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagSub False Passed
44955f9d2e9b8123c3074424284172d345e00072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagSub True Passed
0dcf8398bc1159af663a83cc5d6d47f64286ede1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagBagSub False Passed
6641a04a4b58cb6d9befd6a28841760c5a152595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagSub True Passed
9f35285e7b3687bdff8fd5f1e57669a3c63b9e41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagBagSub False Passed
7215228310c486c6494a99059b7107b2c82894e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagSub True Passed
9777c86fcb385d131df4630b72ef9f1b3d10b374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagBagSub False Passed
5d2b65397bc50eafd980d1a4d693b0bf6725d31f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagSub True Passed
296665d2d7374784790e0cad183793ac55db78c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagBagSub False Passed
c455a2c5d48a6232fc020d660264fde317dd023e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagSub True Passed
0fd1401ec68c5b00146569297d61e2daa562ff7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagBagSub False Passed
8eb0eca4cde311988a8b7debf77e7d6dd7b2b91b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagSub True Passed
c15a681e29178e2b79ffd4ba1a580f82f561a069 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagBagSub False Passed
9a6330fe109a310d3bba3c3af3fb275d47137901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub True Passed
36546580e7386c75f370f1d2319304fa910d6581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagBagSub False Passed
d9c753eb52e48e1d39424b85f271eb7b84a7278a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagSub True Passed
329830cc57f04f966307007b652c8a29db7e7142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagBagSub False Passed
236e24363ab70027c9276299fc510a4b28adbc94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagSub True Passed
d8f05c33ff28c147638464723d642f1dbbc3a8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagBagSub False Passed
36a9cdc070ad8d4658fc4868c5f36cb66b735293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagSub True Passed
1ea4b31c973decb2f5c678adfbb0aee4cc5ed8fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagSub False Passed
79eb1e5a6b211f1f894bd1679229c13d5b1235b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagSub True Passed
208a1ba4645ce84cbec2dc9287ed24b8fa7b9354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagBagSub False Passed
9039dee015e583bce41e7097d9af9f81bc54f3ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagSub True Passed
a1c4e161d8f554125d8ac717d57dfa4740bdd903 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagSub False Passed
decb9a77a94cd1c4c5cd2d02c36d0a78643bc140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagSub True Passed
1129af1e0e185f6a36fcd56bce31441be955c4f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagBagSub False Passed
9ce67bcab15d88cbf857a6f4fafa5b3e342a65d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagSub True Passed
f02f2c0993122cd821538f5f681977877974766b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagBagSub False Passed
8150df3de4ea800bd3b96d5c55b5bba2d5db1e91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagSub True Passed
73370ce96305f9e4c5a34343b061d1e7c21df27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagBagSub False Passed
f1782f08c3a0538c82828f9c65279a78613bd30b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagSub True Passed
3ceeac036600c4530b24d1fc6a541053ea321c5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagSub False Passed
8169d7889c7f84e00ca8378f2e1c48d3d244a4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagSub True Passed
d58154c0cde404f1fdf4ee4d1f28f4d2c316e2f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagSub False Passed
b59f8939aad55de461ef4723766f758ffad2a216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagSub True Passed
b1a483cc04c9c0fd8ed0cc7c2012881abcdbc00f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagSub False Passed
5feff07b341cb779a36b21b63ec9684f7ef04304 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagSub True Passed
6284cfdfeb67994945f975e7fdca5e5a51585927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagSub False Passed
7d920de13e798c0c6a83b8678975f7f4c1618ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagSub True Passed
b87ee45bcf46d3b2450d65e725e65d734b26349e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagSub False Passed
81c89fcaf5b6d48ce3d9fdc54c01c3fd20bd0083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagSub True Passed
aabb0e28dbd026426b3588dc7eec6c29ce789375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagSub False Passed
2125825d646e41a0cfbb70d8a6900ac5a5455da9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagSub True Passed
f43267be8fb4e633a26a89f4e56b6ff368db67f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagSub False Passed
77cd67e5ac86690dd9d9fe036efcf9c31f592d47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagSub True Passed
f04bf8beb33a94f27f99f804da0b4f303c1481fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagBagSub False Passed