Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
291022de1801a8045e703c82974845003d791c85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagSetToBag True Passed
1d051c3935dc73ec07ff53762fbfd611eb363b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq BagSetToBag False Passed
ca657f2c25c16f5d58993a9c9a7c7aacb936c3ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSetToBag True Passed
a711512902830d6336355834fcc45e3fbb638d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne BagSetToBag False Passed
58895f81c5a959e45f5012ec22c417d9325543e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSetToBag True Passed
5dd32ab92c95f70e3a01055c4385d2ded5a88e55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let BagSetToBag False Passed
3a7537bb39b5ae03d65cded5e0970546b172ae72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagSetToBag True Passed
b04d500a7b8407de6aec53fc7224ec313b8bcd4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 BagSetToBag False Passed
1d02fd20b217fc378ed276ae59f385c430fbd642 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSetToBag True Passed
08577190dac93bdf845efb77aeca32168b3d0394 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 BagSetToBag False Passed
d0e2bd2cd5bbda938af41ac5ef52b395437716d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSetToBag True Passed
4d168ccfb626b79cdca4b28cf5e589beb4299ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSetToBag False Passed
c20dda52d9a2292dae7d697b84cce611ca0b0dbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSetToBag True Passed
d6c103bd4dd96b13f43b5e4cc53d9af83d255a60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun BagSetToBag False Passed
4a1680a7cd0b0595ee3dda179c86e0b302c911e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSetToBag True Passed
15406f46c93e64f2c0bd3599c8a65872ebb6698a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In BagSetToBag False Passed
e6dc02505ef1bdae11311b917e681e4d0456f781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagSetToBag True Passed
37f827ac8b25ceae8eaac88ca2822e2d9e056b16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn BagSetToBag False Passed
b1f2bf88867f4e67c396ba4d739aa1fd3cc59dc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagSetToBag True Passed
2e387f6a6388d128ecb1d278cb7503c1009823f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record BagSetToBag False Passed
b7b19236816c8032e6f90a901ee02293f17aa514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagSetToBag True Passed
fd6b63037259c9afdfbc3413c3b38dd7f87511b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple BagSetToBag False Passed
287992f3e97221fb1e3e4dcc15d82e89efc46fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSetToBag True Passed
efd4b502e47705b54d4513c6638feb8173576662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSetToBag False Passed
29aa8d448a54eb561152c5a2fc1cc32807d56402 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSetToBag True Passed
f25dbde842dd6228618035982e502c151c8810ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun BagSetToBag False Passed
6b6ec8852ec3af7002e17c18d7dd5b973ea2a637 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagSetToBag True Passed
a1db82cd20688e0af8b43972f0112444d2e7fbc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt BagSetToBag False Passed
bc3524c3c1999c54b03f0d55d7625364354222c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSetToBag True Passed
1ed5de8ec0057f4bec0fc2f93819b7cfee3d668e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSetToBag False Passed
d80fa7eb40525f829e644d3a58c783fce7ccb069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagSetToBag True Passed
7e4cb6213a3bfdab24bdebc971a8ef14ad4e4326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt BagSetToBag False Passed
b73e02f8a4d29a9130758a63f4f292937db57f19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSetToBag True Passed
b0b2ca6c1429dae084a02d4e76309429009e2235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSetToBag False Passed
24669666688db0c6a376b4114550570961cbb236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagSetToBag True Passed
dcf15d426db1c567c178239ff30c7513e68d5ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime BagSetToBag False Passed
b1dee766c0cf245df7c41b9d49026c2eb09f2f9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSetToBag True Passed
2bb36f3f9417e847754ed02667dfd1fa5ca56b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun BagSetToBag False Passed
ac8097fd8051e29d30b58c3b37c2000c73417957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSetToBag True Passed
a2ba3ad373f928f14e0aa0ef1b295ac06125dc27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun BagSetToBag False Passed
564fd3cd63e68d53956c0c35a27b9754ee946a30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSetToBag True Passed
91ce101c59afd99d3b5c4df35ef95af7420695af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive BagSetToBag False Passed
2c7c1d74a733594faddbd7388ef0ab5a421ddad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagSetToBag True Passed
493c3f9cd6802639fb3b57f55b692020ccf75e0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive BagSetToBag False Passed
13a9737631960aebad895ebdf7fc14aa27f4527f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagSetToBag True Passed
b92947952ef50a31c6c12ebd40c894b3c60ea4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 BagSetToBag False Passed
7681817cf6a094ef87f7f59a49894a9ce1da1fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagSetToBag True Passed
309700363f89b5699c062f38cfca840585aed5ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 BagSetToBag False Passed
835593a2d8d9cf78a8840a12e457a36944f23bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSetToBag True Passed
7ff3b1cba566280920ec6d103031a262fa5577b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSetToBag False Passed
82829e0c83eed5cca667b4e54815952d0b77274f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSetToBag True Passed
ea52f79a518bd96f512ed9a468a48fcb9810b9ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 BagSetToBag False Passed
e090230f9793b32ec8741b571594bf627079208c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagSetToBag True Passed
a6529a4ed3646f96232129ef3a922d73adccf56a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 BagSetToBag False Passed
e7c984d2763c9217b4a05b0572e5145a5c3e711e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagSetToBag True Passed
5c6211bd446e013145138cefcedfec877e7b17ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 BagSetToBag False Passed
baa835361e5dde2098700e38c620a06d80123ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSetToBag True Passed
48a0054121178bd91dd70b950c424f51d6f92b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSetToBag False Passed
9a00c9c78e47c72dee0179f55de31895530b6fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagSetToBag True Passed
540246dd3cee2fcf802d1a3a9693c510f961135c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive BagSetToBag False Passed
08de30377c6393fbf3e54d86436afd90145d8b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagSetToBag True Passed
edf6a4ea2e2ae823e71302f8c2e7cc09ee6df3cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends BagSetToBag False Passed
77e9561e0e4fe161137e3488e079427fa17c80b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag True Passed
07d1d79c1e1bb82445a9a6a489927607cf69cb9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag False Passed
94dcc4840dad0c850f316bb7e4f3c8b29485297f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSetToBag True Passed
c4a6e8887d1ddcfc39088c883ceb7c4a4195b6ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable BagSetToBag False Passed
73c7e96ecfdfceed11be6c2fe859651847403646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSetToBag True Passed
aa2417c12636c54b8934e9daa0308acbbb9e2994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude BagSetToBag False Passed
c227cb45334122daa47181471c9e174b2515b3c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagSetToBag True Passed
5ab7941a9837e2086114f410e2d5864520419dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant BagSetToBag False Passed
8df884b06ba26f3dbb39de35a99c59c508ea56f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSetToBag True Passed
1690166b296bf04c44bbbd5b56cac0e417d7893c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSetToBag False Passed
d1d12346b8579ed3334449732a1bd18e7c98e77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagSetToBag True Passed
4be25d8f740ce48a49187c59e4eedc357cc3a9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance BagSetToBag False Passed
c6907b6a34f41043e5f9367c6717cf3d9f9f039a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSetToBag True Passed
1e30caf1edfdf5f04e5d49fac32cb9e588f93737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSetToBag False Passed
21d4f0384634f5dff93ea37283a10ae7d8a98ded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSetToBag True Passed
e11d375a834958d13f2fadce1f93a7e90a33fce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSetToBag False Passed
34623146656f18a8a17945a188f70e5cb6b9a898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSetToBag True Passed
d47c8f305adcc159234ab458915c4395ab1caf69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith BagSetToBag False Passed
b586f1030f7da7db8ca0b97489141b042bcd9bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSetToBag True Passed
e427479ec8fad84e26f0df5b89c615a045bf0799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSetToBag False Passed
70208a646c3b0f39c263ceab17c36462ce883972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSetToBag True Passed
e30fffbdcfe79cd232cab5fa7c554c6840ae28e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder BagSetToBag False Passed
c126e6188749f487a5b325d8f068b8c718606c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag True Passed
93d0a23bf11e4d3ead6eacf145e8619b974784ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag False Passed
b1cbe88fdccc2724b2e0d246e2354b2174316b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag True Passed
4ffa3072c3e2c14083b652106191def481432b70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag False Passed
a27dc3f2a5f63859bc8b8290ae312702da99c93f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagSetToBag True Passed
b9c397cb5554b65980f72d4d365bc99f59b89892 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda BagSetToBag False Passed
eafbddff48cac44cd7503af764c5e9c07dcce668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSetToBag True Passed
fe01845d5c0f23e0ecd838cd79a79a9a5203c50e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSetToBag False Passed
56733c420b8a1246025159f276e5aef6d91f4b0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSetToBag True Passed
671d32fc993561a346c6c95347654675c76d06f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse BagSetToBag False Passed
8aa73e36b7d35bb5270d562b7cf2b2680f46402b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSetToBag True Passed
f4ddaf3604639897a0116194d5c1972785270225 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged BagSetToBag False Passed
a756772a6377c629352caa517c188e723aa4697e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSetToBag True Passed
c6ecb711c544411ea377cdee255f0dfcd9238a7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun BagSetToBag False Passed
a76e443d3202d95dc86f6cf552b698a6552f2c30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSetToBag True Passed
32884be220cfd42c180168d096764c158177a6fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval BagSetToBag False Passed
2211d7e5e8764c43577a330ce0edb9afc1101298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagSetToBag True Passed
ac114dfa5a3a3d54f495ab386ce64734fd440fac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagSetToBag False Passed
5fcb29fc25e71f964142719e3e16ee35c84a5e6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSetToBag True Passed
ada9cda599b3c09631117bd252a9145c7a659f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn BagSetToBag False Passed
84123ae1344bf678b1892a7390283244de1730b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagSetToBag True Passed
73fa512c7de8d72ab7280abe031c63fd5cb73f72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagSetToBag False Passed
b7921dbfbb3cabb23f30c2bcd36873cdd6bcb573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagSetToBag True Passed
b2bd8646e0dbcd214651fcfc590134076e3d962e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub BagSetToBag False Passed
0d6277fab71f9b0ec165ffe5f6721a7e2f2ecb61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSetToBag True Passed
c84705f0e56872cf3895d7688d3e7cbde46de8b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn BagSetToBag False Passed
cb701c77a3d7eef6909b24166640a66edf003558 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagSetToBag True Passed
cd48009e390ff01789b203d6f156b63672ea8024 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag BagSetToBag False Passed
cb1d46eff95c7eee741aa6842b4d7e6fc3ade628 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagSetToBag True Passed
283a74464d68edf523a999bfb6b217e9bfdeae51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagSetToBag False Passed
0326401a43997adfed9a76b150050882769abcb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagSetToBag True Passed
94d2f4c1bfddb3e2fca4bb51876da67ce6c0114b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagSetToBag False Passed
21721ca77fa6aff0a0264b8771a98f400adeaea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagSetToBag True Passed
65cb0bc0bb3b339357285b3e3f6469680258dfcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagSetToBag False Passed
d3ebdc8006e3d8550cf11be877e0672e2054a434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSetToBag True Passed
4e1041ba33e2f4210a3ff8cc09dccb868d85328b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend BagSetToBag False Passed