Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e251c5546f95b87fa61916960a7884b61d036915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagAddBag True Passed
3d05db9e65f1596b3bddfa5a64c08f121a69f26c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagAddBag False Passed
5a0564ce069605d83b0707b86d15a01d6a3a4e12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagAddBag True Passed
9baf5a21efca4b5d7f95f56dd062983dbef9b56d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagAddBag False Passed
c0efbdecc5d6c4da2ed6238346344551a3429ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagAddBag True Passed
2e61d6ba1f32dd809287774acb1790a93026350f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagAddBag False Passed
b76faa2f08d7f303bc5f06c168315b81c6e4da7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagAddBag True Passed
91369b1237b0c77f8a876699410c1f94f0939356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagAddBag False Passed
643a9a115ddaef763334b788962cb9a13c3cb657 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagAddBag True Passed
5b7a31ad2930759f956c3d8ba5c23c830b1f863c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagAddBag False Passed
d2bb877552c7dc4cd93caa8ee3007b06c738f58a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagAddBag True Passed
08f8a82054b17d6df463fb3e8295d018dead7cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagAddBag False Passed
54819f1e44ada0082aa02bf686c54a8be8e59088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagAddBag True Passed
5ba3113af409f63cad4880786b4514c484fa55e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagAddBag False Passed
156c99ca3be0bcff230d252a50ebea644f83e9d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagAddBag True Passed
5494583681a4642469b4dce571b25d63fd2eab48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagAddBag False Passed
3fb36fcae51379df02ac90ba04faa998f09e2831 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagAddBag True Passed
b615f7b4134a2b5ce7a25c50f67001d57ce1688a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagAddBag False Passed
425bfd3db19008bee8f5a7463f78e95f8c7de1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagAddBag True Passed
d3f1d981a5b9a7a80f259d4f30e17090811c6e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagAddBag False Passed
bdc1e1aea4fb29422a312956b6f55401c1ec9aaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagAddBag True Passed
f4d7adf48ab36c4e159dc53588f0531b9971be23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagAddBag False Passed
182fa17f9b2570116218321038dab0ee48bbb505 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagAddBag True Passed
e2cf2873c9c59c405a8e8af16bffe4d6d7e87267 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagAddBag False Passed
7f2d3faeff4fd35e8930fd14a9aa84585b5aab43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagAddBag True Passed
dd1f9772e751ecca48d70b6b3c0184300f47c31a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagAddBag False Passed
2774f7d7b23bde74c158f7b0891fd3acbcd03cbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagAddBag True Passed
5a78d29db9eb5ac8e26540f937a6adb667fe236b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagAddBag False Passed
612dd640c76f9ffc9935b9a93e0965f2ebfb5100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagAddBag True Passed
e493cd87b2bd45a623cbbd3a06e7486395870efb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagAddBag False Passed
72691ea081272c99f7795f5766d43f8e5dd90031 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagAddBag True Passed
ac962cc2340c1b5ad7f0cc072ccf1f69d1cb6d84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagAddBag False Passed
5dc879abed36908fed0f868b1dfa91180057506f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagAddBag True Passed
649c1ec84aa63acb3046dcfea129a03645ccadb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagAddBag False Passed
7f787703a7d598dce67d15795c39e936be36f139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagAddBag True Passed
90fc585037b1bfe20f88ef577d42a8a3ef0aa2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagAddBag False Passed
0b0bfc1b26a872f800ab582b72b85bcae122221d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagAddBag True Passed
6ea4e3e71408e359ffa276f53fdc667e8e622ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagAddBag False Passed
54e272713a9502a900b15afe2140d27b1ba141c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagAddBag True Passed
865314ef6a16b77fc36f0f14255ad328e3c39da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagAddBag False Passed
778d7a2cdb1d53f3eda7e76da883e3dc9d64bd9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagAddBag True Passed
c724ff3cd3fb8d7e8fa78a80ca63e9943f4b104e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagAddBag False Passed
91b3aeebd7d71a4ef12a8b25869443872f25f862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagAddBag True Passed
5e544967bb01ac50bdc499e67d76ef69f967633c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagAddBag False Passed
eabc417ea350b8738e5c4ddf05be1af9a12751b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagAddBag True Passed
b563b699dc30a254887df25cafbf97d3f516a0a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagAddBag False Passed
02067ab1db63dd1da6848ea90b9eb1c810327981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagAddBag True Passed
94a5c095664212e61a85db7395ffc39377c88390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagAddBag False Passed
89511f5f3dfe57fe5d88f806cd17d6c333c496e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagAddBag True Passed
6aa4204de64da7b485883e0ec6d694d58745971d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagAddBag False Passed
3ecfa6ecc445f10277f62a5d2174f5f59b672ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagAddBag True Passed
e0362e84928171d1589e9b1f461b0e5ca8fc6560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagAddBag False Passed
f27659e2c5d2c1866ce777af193d6214acea4a56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagAddBag True Passed
65672c870d01d598ff41025d58ed3f9d5b28210e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagAddBag False Passed
6d9ad74275733cae949fd21dbf3f37ab96c03e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagAddBag True Passed
93b04df8396b7588adef49220b1be01b30d19b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagAddBag False Passed
332e128a5b11631829b9e9752eb1d7b95d84650a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagAddBag True Passed
35caa492e328bc63f2accdd036f166be183e1ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagAddBag False Passed
77affce73116a5e1669c24466ed1fb569bddf2ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagAddBag True Passed
f701987a469d34cdadb59c293ab42e7488093725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagAddBag False Passed
c2ae70121662d83187d4a1a4d0e323672107e0ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagAddBag True Passed
e2b3a174b2eb3e850a295f42f18aac19b59b5b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagAddBag False Passed
b380aa157d37dd4035d51082d92f73d284eadc7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag True Passed
e1784778ca7287e86e1ef17dc866b8bc8cff6865 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag False Passed
292f8af765ec8d2f39be8d847559d581190e6a9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagAddBag True Passed
0d0238c473da19063ae18455de2d3706fba08fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagAddBag False Passed
9ac9658a766b2f2dbda0985ab186a01218e58529 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagAddBag True Passed
74db9fd554f6dd6daa5b1235d2082c0039f9c934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagAddBag False Passed
d915d0f0c85b9c0fbd5d6d8143056d85e97e9b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagAddBag True Passed
37cadf3274de62378a88c850cc400dffec5165ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagAddBag False Passed
d069e142eab7252a568894b0dddb2ba8079970f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagAddBag True Passed
edcc9b8df9fde4b18c01888d5d20261e0de9c39b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagAddBag False Passed
2d97a6833c4faecffb9e0844a1c1f09b920b5c55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagAddBag True Passed
d7064b98c07fe82cda89b247c9016753b35cad9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagAddBag False Passed
4172e28ebe4fd8ab38068c6419590e7c0f1230ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagAddBag True Passed
681972634aedfd5353933c0ab06ac214892666a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagAddBag False Passed
158913bae9005d571df03a0a0bed237c9ce9e79a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagAddBag True Passed
3e823086cd4356472723943efa85daa5a2f943d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagAddBag False Passed
7ce5cc38f7c1d13dd83e6871e44d38b9a342d2b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagAddBag True Passed
b5c38ccee92ca5a17b1acc103eb420d8685c1855 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagAddBag False Passed
befac94857b4880619bdb1ab406e3842f6f088e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagAddBag True Passed
3a60dc50cde6c6bcc7460aebd47d1b773fa6a510 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagAddBag False Passed
9466e66d15d7ccc45f04e13dbfff337a14832ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagAddBag True Passed
4fdeb6908e03dbc2aee4476eb102fe9e3ae569ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagAddBag False Passed
c4f1760511fc57d973e8d9a3b3ca5a58c7b0c27a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagAddBag True Passed
be680c109fea4693f5a642f00c96afa0e780fad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagAddBag False Passed
8704cd3dd08e54ab86ca606629d3b801cb2f3370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag True Passed
844f73f6900d7fb14498452caab21d8800dfde39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagAddBag False Passed
019ef2917b4fdc2b612278e75903234c297e19ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagAddBag True Passed
2528c45b45594db000f94bee225bdd06ca8ddfae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagAddBag False Passed
5570e60d44ceb8c209f9189375d84335884ce24f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagAddBag True Passed
3d56099e19ceabef7c520a4149d09a57d87f7cfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagAddBag False Passed
2a84deee88d21a7278e725e2941d5edf569ef8af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagAddBag True Passed
a3511dbb2276c6cb571dfa87cffac5e394de71fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagAddBag False Passed
cd27ba2d5c90d0479784f59611c5d5a0ab9c10ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagAddBag True Passed
c48f0112dbe71cb8fa4438e06d7b939569d2ff58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagAddBag False Passed
aa7336189add7d3d0914c981df7595ea649964f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagAddBag True Passed
0b8c0c2823b3b6d9e8aa664b8b0e074b48333a3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagAddBag False Passed
8d36fd7d011a751a509840b359f8243b1f3c298c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagAddBag True Passed
9e7d162f0201318eea2b3b2cf5b6c018338fd04a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagAddBag False Passed
0a0a2ad23e2e8baa9ab25208f94d67da35db648b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagAddBag True Passed
dde353e0d0f34a6b0f8e0a8c721bec5bd2154395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagAddBag False Passed
967f067e50d34018390184f0357a2fcff62f09c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagAddBag True Passed
2f0d4ba6ce1eee61ff12398acad46ed320ad8c63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagAddBag False Passed
37665e1ec834d67f59e7f755e316de935a449b2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagAddBag True Passed
7834935fd05a34bc93ee2096cc7ccb2c421feaa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagAddBag False Passed
eafd452fd09e1cc0cb74d264b6c1785f99917372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagAddBag True Passed
ac467d506917eaac7916d1439c76094af0f09ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagAddBag False Passed
b90c8251f61642c4f561d6315939d860b3e8ace9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagAddBag True Passed
e0b5aa67dff5cc09ac7fb28971decc5094f726be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagAddBag False Passed
fb05fcdee571f151755f010e5e69540c98883d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagAddBag True Passed
1ac81f349ea2f1d93967bd9c1f730d0be3f9e108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagAddBag False Passed
5a4f59ec9eae3b417d3a5b640681defa251caee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagAddBag True Passed
aa95428f5f3d0f4acd4904ad6765a1860f6673df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagAddBag False Passed
68fff2d350bc67492b200bddd05b307786c35803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagAddBag True Passed
c27e755b5035bcaa727a70748e750546a8398730 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagAddBag False Passed
e5707634b52a3ea7db661eda482fd3883c22a65d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagAddBag True Passed
08e8ea5f7626255c41cbfd46c9f7e0419177ac32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagAddBag False Passed
923cdc5c5c7bcca596f6c6323415d7bae2a52123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagAddBag True Passed
9e12c870d837b36b2c7905fe52ac678a9296a1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagAddBag False Passed