Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d3173d5ceebe4e031d0a8a89ddc0837cda1b2088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSetToBag True Passed
56c68b97cb8573a7e7560a3364275e156a531913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSetToBag False Passed
3bf72c6db1e02eb61d80b9a732c767ef004a6bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSetToBag True Passed
e555dc092dd88c2471a9bc8ccbdbe5f98e9e719c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne BagSetToBag False Passed
1d5ea3c4ded3c320fd83848577dbf6e09f8bf451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSetToBag True Passed
c98667e02fe6203d0ec838cfd1d23fa59c962189 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let BagSetToBag False Passed
160b79dd77b620fb3e7bb56e7ae827ad0832b750 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagSetToBag True Passed
6765af68ee6bfb23a0c260736fff74eeb73c0aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 BagSetToBag False Passed
4faab9473841e5fbd35cf08b7326793626669e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSetToBag True Passed
7611ac20c6689ccc238b7e6f7c88986268fae9fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 BagSetToBag False Passed
c203aea96b5e6321b878392ce44157dd8fd8b971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSetToBag True Passed
c6554e168a3ba9d98a84ca915b01dce9478d97a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 BagSetToBag False Passed
e997fa0f82d7c035fc116f133295670fb8c3874c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSetToBag True Passed
5406427a6bffde8dff90a703c3ae0a3e06044689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun BagSetToBag False Passed
ec8f6baecddc0d6ce5f17f3efbcab7c27603948d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSetToBag True Passed
656c4833503e6b95cbd97f5dbb9297bb6aa6f092 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSetToBag False Passed
d394cdacc929cd5411b8fc1d772c578e228cfb1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSetToBag True Passed
584be1390c38752f7cb075016a5ff8176dee2269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSetToBag False Passed
0573b94db4b9a97477261324539510d1f7a91e4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSetToBag True Passed
dfb7ce7f36de0ca5a37a410cce34264aaa3758ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSetToBag False Passed
476262c7327c635a2459d2d13d0322cd66cb5aca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagSetToBag True Passed
d4d6ff73bfa5cd720a00a2c5afb5f38376e5c422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple BagSetToBag False Passed
7ce692f63e653fad2d07694a401485c48cc3acdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSetToBag True Passed
fbfbc34970aaa0bbe9e5c5069924a3d7b8798da1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp BagSetToBag False Passed
bb24244dc867b324bd2fba3c4bf40eaa06afab05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSetToBag True Passed
ee884925e862738b75dd421652f8efe9c48e0c9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun BagSetToBag False Passed
4350d5c080ad20c6c677123c37fa40d9520d4cd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagSetToBag True Passed
5ddd3443c16b2b555866487bafdaa532640b194e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt BagSetToBag False Passed
45de8e84f9cc2cdb325384d85e1f87e34afdfbfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSetToBag True Passed
a5a7b9a565f7fdf921cced18c2541bba4af8c91c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSetToBag False Passed
795559d26fb270a5af171bb7ba6f241e6ee1924f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagSetToBag True Passed
296c7e094c39395eebade522e6f84df5677f0e32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt BagSetToBag False Passed
6e2c31f911ed7abd8755e1f8731c2ade238d53c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagSetToBag True Passed
ad1918b7afbf0ec7a176389fbe8fe1296f2b43f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun BagSetToBag False Passed
f8a4fb5c788e70a0ce0975062893bfa50fffd5bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSetToBag True Passed
dfca6013fcb4360945c968570a7eb99d9c5de444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSetToBag False Passed
3fbf98da99d4bff80ecf37dd1de4f70d30216592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSetToBag True Passed
f904493fc49bc99dc4f23041f7d23890e30352f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSetToBag False Passed
b3b7b0a1b0eea96727d68136c234b58934712b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSetToBag True Passed
ba3d12fa1854b92bc2186ab7396f77053f7bad53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun BagSetToBag False Passed
6c0b86b73c8ff5b5813dd80d8d0d16cb7179e003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSetToBag True Passed
240059b5aaef013b39a85b4f111a62fc24bad68a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive BagSetToBag False Passed
57ac3cb559aa1ddf81b671110d7b6e255a285114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagSetToBag True Passed
0a72389788f3464bed53d60ef1669fd50d81c8fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive BagSetToBag False Passed
ef27459a1c718c8d5c2383c0fd97db8cff53f27f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSetToBag True Passed
77787f002f4598413b7ec5bb8c1e7962156740b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 BagSetToBag False Passed
c5280ab00527494e19ed973423765d5f2b80c32b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagSetToBag True Passed
af6eab34d74c9910d88628eb58719996c3351415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 BagSetToBag False Passed
9a8d0f8e3601a8378cefbc68c4350588f9c3d730 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSetToBag True Passed
7cb9e93525104211b0f33c6b6fb72cbc117cb79f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSetToBag False Passed
14e1edb66dd46891bbe1ba860046b768a28e24d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagSetToBag True Passed
356e74031877d2ca0544af792df481e75c7ecac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 BagSetToBag False Passed
259d9d698276674672fd3227c4ee52966d930fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSetToBag True Passed
5707e8bccd364259276f6dd6a62f4526c05be950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 BagSetToBag False Passed
87b12be146d34b2522d6d942a4f5ec13e217c5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagSetToBag True Passed
213bbc42724323acb59389d3e278a8938fc4444d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 BagSetToBag False Passed
27e5d25f7c377b9de2ef6a0039954190596907bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSetToBag True Passed
efa8e9362adfb60ab88864f6f9a19b165a260323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive BagSetToBag False Passed
203a20078e8d1eb13a722bd62ab84d5c1c601b2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagSetToBag True Passed
e9840196cc9c261a5c1c1495f2b2a5544a1f1911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive BagSetToBag False Passed
b9e6de30073997ffa36bb07c5553db10583a24a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagSetToBag True Passed
46f0de629d1dde48c015e0a92aaa52a95e6cc425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends BagSetToBag False Passed
71724f7e44dbd8a50ff1738f87f47bd5d57b2086 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag True Passed
16795b251f62dcc6dbc2ed87c39cf7fe4cae6faa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag False Passed
d779f51d59be658fd97b5493a129d545da4b66f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSetToBag True Passed
501de378a2c3b41e460c5a54358e511b77926e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSetToBag False Passed
2661b62336c65019e0a85718df10b756eb3de74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSetToBag True Passed
9d80fffdc2453bdc7b661ebf65bd60fe978400ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude BagSetToBag False Passed
ef36019b0ec831d283e272f2764def8135e51b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagSetToBag True Passed
bb82381976fa5b0ea965bc8a4c625b39a4a61239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant BagSetToBag False Passed
0d2010477f8e7984ae956b2cb3e0a15f93ce2445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSetToBag True Passed
874736387fba0c0db5006605ecdb8259b76c6749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 BagSetToBag False Passed
ea47ecfdca5f75f141f6810d11b560b40c697ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSetToBag True Passed
5af323241a5221526a1539de6729cd0ea0c26b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSetToBag False Passed
1334f5f08fe20344ba82010994a959a2f02018a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSetToBag True Passed
a24e09aeb42022e68d24ec7ed7f7fbd6a8601275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith BagSetToBag False Passed
09a2c6681069c344b0fab6b0796e19aeffe4e78d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSetToBag True Passed
45c54b9a35220c84f7309a60f399e89111e156a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed BagSetToBag False Passed
451ab3d67594608fe9529dcc68e05b3352991ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSetToBag True Passed
c5a5a7b45378e9d95f3c7688572cc5e0aad73172 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith BagSetToBag False Passed
ac162bfbd2189ceeaaedc897cca5195227c69202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSetToBag True Passed
54f9fb7d01aae81436730d6a82ded27082849811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder BagSetToBag False Passed
22d0d9cf4d4a82089aec5bd3421271275b05020e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSetToBag True Passed
b1dcd7c552653483075d69789cbe1129dfe7b1da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder BagSetToBag False Passed
c948901dd83120d7c354b58ae66ec2b0c82f57e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag True Passed
adfbac54f8580267002487e56de2c88025f42c39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder BagSetToBag False Passed
2653bcf1cc5ca212025e119c3fc300471f5085b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag True Passed
cce52b157204296d764cd4035d289ba39089d05a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder BagSetToBag False Passed
768910414596656d64e1cfbbf3ac8b0d04a63eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSetToBag True Passed
c1c18946c3690bb1d963e54e363001c244330688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda BagSetToBag False Passed
2848ebbdb2cbc595c37cc446ffd62b1f3cb974ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSetToBag True Passed
e0bb106dd841eb10b95acb6ae4f425ce1ae68690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen BagSetToBag False Passed
f6edeac246537635c90afc64b5198ddf78dad4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSetToBag True Passed
45fb14d72d7558dfaf847a98d3bb9444ecd5dfe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSetToBag False Passed
90d8f95eea6a8c158503a7b7ca3fd36167986349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagSetToBag True Passed
ebe1f34967982727e38d56bd180e3fbbf188e652 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged BagSetToBag False Passed
4fe084a5a726bcbfa61e31d57c8c775c19550364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSetToBag True Passed
564981b082be12744c515dc4b86f2cd60bf16c5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSetToBag False Passed
839a91413e10f0d2d10e81a0513dcaca39926646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSetToBag True Passed
acc31e8b4d6091517df54afc71b8221e555d1042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval BagSetToBag False Passed
43864cd2a10291e08f151aca35134d2c82031602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagSetToBag True Passed
c31fa5fbc06ff765ba1c06370451297137563c1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet BagSetToBag False Passed
1551c394e01c47dba5c98d59a450035312547e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSetToBag True Passed
87d1480258ae8108f41378073d265b8ad5f985f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn BagSetToBag False Passed
dd548998d1a9cf3d7bf1ed1af6017bea701ec68d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagSetToBag True Passed
5a7deb86e70e4db166a5893fc8fad7951f0ae714 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagSetToBag False Passed
e0df05c1ca122b06395904b1ddaecfead0437073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagSetToBag True Passed
c005ea69794e36988fd7148659329635778c1d6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagSetToBag False Passed
a15c8bab4bceaeb1d1d8354e8a87a9f04b6a5a41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSetToBag True Passed
f4b12dc4a8561a555228cd2ca40bde99ebc4738d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSetToBag False Passed
80f03b04dc7a0cc3c235ec34cf2c7ade1b5215c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagSetToBag True Passed
21fa03f79c4811cb1b10762bb38212fe3cb155d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagSetToBag False Passed
e67949c03afb4a760041b9a1116b6b23b36b3f85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagSetToBag True Passed
706bbe3148d6fe86e9ae82e2c8e5ce245074a8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagSetToBag False Passed
286e3497d5feecfef6b236ab0becba5c23e4ad88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagSetToBag True Passed
ca071a7e3e9d17cf03b03e5ffaaa76e7abfa6b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagSetToBag False Passed
fdbff386ab5f45b2bd36ba8e26242cc0477c0141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagSetToBag True Passed
8b4d505c2be335f9fb4c646148934b4037536111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagSetToBag False Passed
f0e9512815fc182642dbcf105219ca4564560348 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSetToBag True Passed
03fc9cacab20135b029bc21bfe0b666fc0bcb533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend BagSetToBag False Passed