Index

Tests by case feature BagBagUnion; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
74e4a0d9fd26f6db41b7fef7d9716be8849968c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion OneLineComment True Passed
ed4804a9b43de7baf8533bd9034eabd921e54ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion OneLineComment False Passed
c28f73caf58f9862d2150a61e8142d4a999cf686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion MultiLineComment True Passed
9c7d519acc69c6bf688b4f24e8526084d91a0233 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion MultiLineComment False Passed
64176c42fffcb3b074987af892c89d9611afe0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Let True Passed
f95e71a1e80020b5c6b3efa56343acc0b6457d1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Let False Passed
fe95dbc4f21a437fcd7df3e98dba0c3e4d201063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetEmpty True Passed
00e821644b7b81fd291854e7ae80810c277b8c2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetEmpty False Passed
ce8c218124034d5c72771774a07579af03479bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set0 True Passed
cf061f5bb2370f192ac3f54327a2c60b2637a9e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set0 False Passed
7a178dbc90e81cfddc69d41a0e58a69351c392ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set1 True Passed
6e0e7b64dde94c644d7ea2858703f2e19ff6ff40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set1 False Passed
9da5eba0322e178083ea42c7942202585992b907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set2 True Passed
a2c28fd113892d02ee5dc05c11ba13dafbca4c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Set2 False Passed
f62c5e482018555e41e6bc9780ee2e21449c5081 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Choose True Passed
fced0d8427c79b590b3e82b8d4da410ca06f1ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Choose False Passed
fa919f84478338af4f8fce3fedbcf30175421602 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion FunApp True Passed
eab30b68ce4b958f20cd449a97beb6defbb301ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion FunApp False Passed
b8c5cede132bd67fdb92d5a27f37a8fd6c450eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Prime True Passed
22cb93763182d1f5c29fd349e89465fc56160eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Prime False Passed
b4cd27d609fb2f6534974d918bb7a91148705500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def0 True Passed
529cd7cda3fc9b693dce5c11037e6606db14714f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def0 False Passed
57effb76b8b1380ff9176b92d7a25a1f1f324789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef0 True Passed
2b6b39e6b904649b17dd2cd657c5c323803c39a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef0 False Passed
ae835a6fc11a81baa2eded734c686ac816b233e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def1 True Passed
5eebbdecb83f4d18ca80a8e5524e700de6fc8d3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def1 False Passed
0ebdce04f9940976d73b6d5db6cf89f9c004d520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef1 True Passed
0906a788aad9e9086b2bd22efba7b40f0ea86151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef1 False Passed
a8e0b1e864dd1964fb042b0c534d2d58b612d3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def2 True Passed
ef04600154e7e770f757eb3f57ffaaeeea89e60b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def2 False Passed
232d85a59e6f47f40451d40c926a91499c388114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef2 True Passed
a2ce5eb96250f61a168461a6c5a9f008122933f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef2 False Passed
dbbf887a5e1d73fcc7394b0e04ff8c70e95cd249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def1Recursive True Passed
4d6e92d68c699a899408d482ae573159307f110e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def1Recursive False Passed
d1ba9dde89f6a94437f8134cbdfb05a62ecc5947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef1Recursive True Passed
bb4d9b79399b06064c8d96b2a53646fc7c24ddef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion LetDef1Recursive False Passed
6087693ad6e7e4b388510bc1293815b98824e69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Extends True Passed
8ce862de815b6d4604a7bf8ce722d117b45c8b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Extends False Passed
a6d6f98a495768760d22596c8ad57a46853378cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder True Passed
6404557f270ed67b8a34a107a0255e98ed539865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder False Passed
1ef5cecb882069d047e4317eb74ea19df2851d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Variable True Passed
7c6f88a344bbf958100f83875077185975d977e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Variable False Passed
0e9bbd1351d2f8220e6a059488b9b37c93594844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Constant True Passed
078e509c322c6fce49de3704a7a060435a6cbc89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Constant False Passed
977def64c697b352b1e7ed30fd91377c677f35b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ConstantRank1 True Passed
e232a9027fc8a129a8c883c6f7c30a04c694b93d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion ConstantRank1 False Passed
ab8f01aa3e0bee2106e39eb72cacb7cf8152b4a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Instance True Passed
8f348ce961d4363996882a1736b833eae4e3de16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Instance False Passed
64cc6be8c3750d85009a295d32b710c2ddc06e2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWith True Passed
940e80235c72fc2d7556122d8e199615aacbf265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWith False Passed
d7db56de83dd840abb0abb61aef8d4a21cc5f305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamed True Passed
831a38158c81e34beba6041e28d30a4ec3508ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamed False Passed
e9618c17f7814d9350afb2166477f5d8587fd907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWith True Passed
932e139cbde6113a77c1a0bef71ec551cf3045af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWith False Passed
2e42b22e01b73f6ca5abe83ed15955804dcdc6f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceInFolder True Passed
dad68ae8be8515f7c699b7602e16db8d0b03ef2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceInFolder False Passed
d6f19457d6cf192780a4b3de458e5e0af014cac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWithInFolder True Passed
d473a6b3e65d05299d2db36c3fa4b8656334354f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWithInFolder False Passed
26cfa0939965991cdd942363313411a90687f159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder True Passed
3bb693200f2e03baab646ecb9afb27df7122a361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder False Passed
5c0b18b4868dd77c8e18776cf3489e989193031d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder True Passed
f654bf2e375fe2732bf8624e14c1dce52e8f9eef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWithInFolder False Passed
a6efe98e78a247be048a9909b33fbc32064cb04f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetDiff True Passed
7c0f4616a3ff3d7b9bbd3eed33737fff628926e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetDiff False Passed
e7cf68da4f416bfc17d693cb476825d7487e759c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetUnion True Passed
a435669d4d38ae2e27ae31ffd6a305b9c305c831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetUnion False Passed
faa4c0e130fdbddc990d85130434302fa7fb5802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetIntersect True Passed
bf1639266531ffa7085d26a7ba54362b95377a66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SetIntersect False Passed
057eaef639679f2943fa410543a5524ef0a75bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfCond True Passed
ea1e00d927047c3da3c20ae07246245039ca23da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfCond False Passed
591ed8e0491511c97a05037b8274a87bc42de328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfThen True Passed
03f7949d69cbfd75873734e3aa061905b2a2ebe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfThen False Passed
194ced24ccd655ef0292f51f322de55e485ee3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfElse True Passed
a5a06b3b7c95a1a8fb1019359cbb5ec80582c72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion IfElse False Passed
6132ed865932279fd2d8a40f03bf30d6fb61a8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Domain True Passed
ed54ffe7a499d1933c1e4d3cbdacc75a5984df30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Domain False Passed
2a30b128a415d8e5ec63cd5bfb4f62bf2c949efc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Union True Passed
14f3f47dd024502ff724826a1c7c6c3faff3f1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Union False Passed
6b3a7abe0939785febd3cc7b298c5f4dd3da427b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion TlcEval True Passed
c0bc1224f0f3e3f62d8005ce20370da660f617e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion TlcEval False Passed
be24605c7c356d47f7d1a95a38fe9b70d1bb69fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagBagToSet True Passed
52db7b9ed1daba4c10516586ac8c2c128f0d140c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagBagToSet False Passed
f769ed77e504e17952ba6bb0d6fa6c232a37fd22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagSubBag True Passed
2111840383e209296ccabc2c7eea192bbcc0410e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion BagSubBag False Passed
1aadd313a4fe096200b34de53ca308e6d49c4393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SeqHead True Passed
29d10bc6360400b936b08dff1003b63d04bc8bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SeqHead False Passed