Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3f6ca704fcd006298ce55fa85df57027e1218588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagAddBag True Passed
455eef7fb1fe3848a6d9c206ce79139aec1c392b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagAddBag False Passed
62b5d82d2fe919c307cac05899ee7e1c89131393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagAddBag True Passed
00de0a0525bac3de7d104899cbcee8e93ab5bd48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagAddBag False Passed
4962f00764595fd591ecd60412503db89c87455a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagAddBag True Passed
6d8d4a6e26747f85e0bfcde760cfd6fb9bed31cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagAddBag False Passed
27c61b129aea2478d0373504229decb9f8c81dbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagAddBag True Passed
7b4ce898e0d594e2f13d22d31be833cc28c99e20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagAddBag False Passed
ba83166c10221acd9b6a5b9feca8408f38136d8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagAddBag True Passed
fad2e3526d8a4e4febc4fe2e0cbb689e0cbbe7a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagAddBag False Passed
2c4ef4fbb14a9d785b659a15f2f47a4ba7ec2806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagAddBag True Passed
721230c4de494c3e815af09ade13f46f89bc4641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagAddBag False Passed
59ad0622cfaa357f321eed32e624a9151f5d4e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagAddBag True Passed
5d6f2baa95d81b8d8c91d873965e5e41ccd9e66a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagAddBag False Passed
9f1cc7cf4fbce21f6ea83007abaa1a92a0bf76ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagAddBag True Passed
21dc8de314aa0cfd5b1f4ce2f38ffc661ebc6e9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagAddBag False Passed
15294c08e48dcfc3ffee2192444ffbc98d992fd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagAddBag True Passed
3a3777e5efb58835ad99ceb6326e34aaf650796a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagAddBag False Passed
2110c9a36214379962b0c1874432fc30378c395a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagAddBag True Passed
fdf095d07273a2414fdf7d1b62dcce62652c7834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagAddBag False Passed
863e6563ecc7baa0c810b400e533316ab2bbaf42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagAddBag True Passed
023a8d5d6ecc319b1a8b5ebb4ec8093fd92993cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagAddBag False Passed
9a19536040dbbd1771ae26190a6c3048708d9606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagAddBag True Passed
2cf3c0559fb1f7a58727ba11bb698da2fe8e5274 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagAddBag False Passed
adc73b570c31bcc8ebcb36523ad4cdd0ba209caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagAddBag True Passed
f6dc2b1195e8b37b4959f41e132ff3d8a5ad256d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagAddBag False Passed
d942623d7dfb66fbc5c2a386b1fd75bf385a194a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagAddBag True Passed
8b8523fd0ae69738ff29638429b3ca51d18ff7bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagAddBag False Passed
16c10da6916cdede34329b4a797e9cb055106980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagAddBag True Passed
2a45c4dd4efa5d88ff4b7de916067b0c03cb1a59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagAddBag False Passed
62330ce6f750b8de9d7915e42a16ea4217d1803c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagAddBag True Passed
201fa5bddf8b44f6e5d3468ec67012db39b75b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagAddBag False Passed
3b36b910333922657ff06baf1d3d21850bc64a6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagAddBag True Passed
a63cc840de46a983acff815940bfb99dda09dc3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagAddBag False Passed
a2d55dcf7679d18f3f60de789d14af15e1db73d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagAddBag True Passed
60a8bb77b30d34340f38a318b6e2ee20558f5316 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagAddBag False Passed
06fa75e507993f9861fd520684f917004ca0d255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagAddBag True Passed
1c93ca6b4b8a3c1cb3ddc306d580e87c2cb82e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagAddBag False Passed
822f9568561ab01196888fec28e788445f7abcae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagAddBag True Passed
871d30866d0541e723865503630f5fe908db2466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagAddBag False Passed
5b8226d649a9080e205ac36f228fb9d190cda8a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagAddBag True Passed
dc53b4a4d973236e463a550a45c6d5b789a75a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagAddBag False Passed
5fb534e6759641ca56919b6383cd01cf50f08a6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagAddBag True Passed
f451fb14d1750e14384b88322a72e3e7e76be242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagAddBag False Passed
652c86f231541fb92d60624dcb2ae6f1ea6982e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagAddBag True Passed
003c5b69678143c5bec58522c1f9a5c12f52f167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagAddBag False Passed
815ed7e4821cdecbc2a300b8255ef01bfe8a28eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagAddBag True Passed
c53737a202e1c7d3df1cb7732e1cf5be20209db6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagAddBag False Passed
cad9a2664c8b5001ecf0144812df29b326936c0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagAddBag True Passed
b8ae7ece728eb2d1900acfabfee71f25587e7b67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagAddBag False Passed
e46068d4377dc876867e543be93451151b74821a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagAddBag True Passed
cca5d766a4aa800f5cd5b9b1678bd3dd984481a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagAddBag False Passed
ae5b460b2c80eaec622a94f80fe2e8e3e35bf54c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagAddBag True Passed
da48cb5ce9abaf5419ba0fe0f627d544c2fd2543 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagAddBag False Passed
79d414bfce075a39ca47894248c3c000348e4bc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagAddBag True Passed
65e766417d9572889c7a41da99a52c34c8d559e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagAddBag False Passed
860bc397df856763944f440aa855c2152aa61109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagAddBag True Passed
238a23db0e210bb7325c8000e6c20bca25e67b83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagAddBag False Passed
d0184487dc48abca62641495713dcf2ee380e0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagAddBag True Passed
a741b8ad2ff663c3b907e5fcb8f3a0a7262554be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagAddBag False Passed
1a749f05426aadc4e1c9e6993c203c59b164d47e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagAddBag True Passed
b4dd9c180cfba466bb9fca8ca2c4f885fd271647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagAddBag False Passed
85ca8b723019adcbe9f3e857d2f0491d4e599e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag True Passed
9437052b0c1d151da6a9b182d4cdf8f94af8d22b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag False Passed
ee2f260e8c2188392470f51a48b1d88fe79befc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagAddBag True Passed
b3de7dae36670ac94aeaa29b74369b618f61fa8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagAddBag False Passed
04d3a38cde1204ad1fbe26ebad57790bb6ebddf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagAddBag True Passed
a811d361bca8a52ba874401e37692588b98f1ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagAddBag False Passed
bdf6ad151f0fbd44e7b497601c03dcb3918f679f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagAddBag True Passed
757920869b26af315d999a111a701284ed9a8a39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagAddBag False Passed
180f6e0049f40489c6ee5803fa5ceac3921e2ab7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagAddBag True Passed
1ac0b992314d1f90490bd1370719ea6b1649ec6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagAddBag False Passed
5103453f16f03116a49f4c25e9b00abb0f64f3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagAddBag True Passed
74e4e584150980f0e9dd79b473194d1f8c9664f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagAddBag False Passed
20a209f4f9c340279d39dcd8a8e5d2beddceb6af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagAddBag True Passed
f0d29ee7f56defaf5f1e219b79dc42cd03a1fe49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagAddBag False Passed
5e16b5b9edac96b129a3ee89ae4a31afdf202850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagAddBag True Passed
6e61465c4c0c83ebc52f5181c086c8fb336b118e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagAddBag False Passed
36138080369581eeab4ee283f388be08b280db0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagAddBag True Passed
2a67ee3688e6500e1899ec15ed1617d26f5d41df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagAddBag False Passed
bf380fbf89f9c195dd35d25d4b1d4eda9b7886c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagAddBag True Passed
b95437590cc663cbcc4d427fded708ea0be1c243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagAddBag False Passed
861e9211d141453eb20b01a92a1b7851d6523bff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagAddBag True Passed
bbae5bbc548b162c52b44fd8529d90a704cf9f4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagAddBag False Passed
2dc0041ce17ccf82096b1467ad568237edff293e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagAddBag True Passed
c756f35df3fdec3d0b57f50bca26470081e10050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagAddBag False Passed
2bfb82ca7eca474a6adf25e9223bc16138d7a1ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag True Passed
d09b102c0266d4a27bec90648f9571e371b9abb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag False Passed
5da3a2dc6705af31cebfa0742179575bfb4b277e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagAddBag True Passed
2c77beb1f7548649c8b9428271b1b2e2e68ae4ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagAddBag False Passed
5aba2b9a17adecf3e57bf2699ce5bcd6b59d9227 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagAddBag True Passed
5e86c28b06793b9aa0b38b677ea74e8de6024a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagAddBag False Passed
bf0d9b72235349c25b93ef4487740a13baba9087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagAddBag True Passed
56c2a428e319fde3651db3d7d52a186e4c4be3c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagAddBag False Passed
5ec64a1170b6b148b9fefc7e5f6cb64fd97db1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagAddBag True Passed
118679d13c9012153e3a126b974899c302b0981e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagAddBag False Passed
c95fa71122567ee221aabfef7db7c099d16d962a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagAddBag True Passed
32bd55d3ef264b5869d0524a30f01154902161f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagAddBag False Passed
1bac2885c7309c594b7a6717289760d257dcd488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagAddBag True Passed
9aa25a5e2b4205fc83dee4e711b06679182761a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagAddBag False Passed
3b106620ef1bc8203c806a1f7c4d031350f17159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagAddBag True Passed
82a7c8fe2941a007d7737b429d241fbbb624fa21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagAddBag False Passed
c7c6cbb1650cc1610f21412a37e4729da748e320 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagAddBag True Passed
fe8b314691c1ac3060c57a436b225eb2cab3146a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagAddBag False Passed
8f4291506a952e129ebbf38ba6f668f9e091a806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagAddBag True Passed
b159df16f15e48548b0fedefbd38e04f30b52522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagAddBag False Passed
06ed9928817f1d7163128c896f17a26d12349b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagAddBag True Passed
b1b0d3bb947b5cdc32b24f97723b69034ff79198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagAddBag False Passed
5597eea89f2e3c169aa9cf82aed3d2a3c982fa33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagAddBag True Passed
fae1b2af62c8ce83decbcc160cebf5c5f4907ee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagAddBag False Passed
899d4e835cb8b39e935be4f0f0949e7e61417f93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagAddBag True Passed
55d9dec9013f3e94c67ea9d97effdb0b7747d70e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagAddBag False Passed
9895014d4b438f69609cd8e00e185fc81366748d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagAddBag True Passed
4fa17eb03e61d45364bc95d8f71d757c89160fcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagAddBag False Passed
e492ac4eb947b3ac27ae979636d93d85a02585d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagAddBag True Passed
c7a81b19d697ee92eb9e26a10abfd15a2496138d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagAddBag False Passed
1848d33e6ac0f7dc7676413076ba3c049d409f5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagAddBag True Passed
0ca05d2af6cef44b6db24b8dbef56ec9197a452f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagAddBag False Passed
71968b792070dbcb8c8e9cbfe9741e7d9b85dd96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagAddBag True Passed
636f0e13f49ad10c0e590fb7943a5fdb3e82681a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagAddBag False Passed