Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1a2b0c9b54cb66174504f1c5de3f411823803e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
a5562449c2e06d1e7aa2ac860091bc7d2b15c486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
511d5e9cb1d982ee9ba6ff45cbd5382bf40ae04b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
75304e18793ba847d5d902197429193ca7f35d46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
cd7a879efefe68af1600c3aa9a3b9acc813228be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Let True Passed
  • Model Under Test
  • Equivalent Model
f569f79f413ad0311e923f8288199481c7c0d8c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Let False Passed
  • Model Under Test
  • Equivalent Model
3f5a7ad814315bd6d0cb0da1ae653ce62c7a12a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Choose True Passed
  • Model Under Test
  • Equivalent Model
3e8d1ad42b731a141f00c0240f0ec5230d293b08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Choose False Passed
  • Model Under Test
  • Equivalent Model
a973b1f55ac9aef83a1beeffaf1abc78ccc02c22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality FunApp True Passed
  • Model Under Test
  • Equivalent Model
982681e15f3dda3889e8ef87abac0bb30e5d618f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality FunApp False Passed
  • Model Under Test
  • Equivalent Model
94a2e37103db104e058eb326a40e655b8064ed24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Prime True Passed
  • Model Under Test
  • Equivalent Model
5cb33e03bb010acd62f6dc587b36d7743306fd0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Prime False Passed
  • Model Under Test
  • Equivalent Model
32f03d514e7a33b56ca036c1fa624a2e6da5c484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def0 True Passed
  • Model Under Test
  • Equivalent Model
1d2219245f5dc9419f7046268135dbcd4e835055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def0 False Passed
  • Model Under Test
  • Equivalent Model
e45a5ecbc1adc5cc17fdc485780be7236f03bcbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
4afeb58495406a71d1e8da94028f2f4b09bb7900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
67bf517001725f447df0e3180c6a34d7fe6143d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def1 True Passed
  • Model Under Test
  • Equivalent Model
2ebf99a28a8b9c926bfb3063fce95ec9f1bcb3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def1 False Passed
  • Model Under Test
  • Equivalent Model
c081f4d58192ad305ff901706d6a553bc0d2da87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
0299a1dbf9def07949d20ee6a547cb26c279cfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
5d33a20dac5385c74df0f1f3a36c175fcf175ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def2 True Passed
  • Model Under Test
  • Equivalent Model
55d26ae46ee0e49209da40d0648884ed8652b525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def2 False Passed
  • Model Under Test
  • Equivalent Model
fcfcc287f9f68d87fbcdd4ebcd1d820fb5779cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
3873fd1bad1f434d49e9f3d65cd950dc86199a25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
5abb5667ebfa04c24954d25ea4fba83c505a2da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
25d26a5cc9ef6b6f555976e290d055b8e5d40dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
0a7df857bb558afce3bb0dc989a11309ecff7124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
650cd4c4e8b58f31394ab017ce25bb126b0b7938 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
c692eb6c68e07518c6a5b9291147569fd12289c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Extends True Passed
  • Model Under Test
  • Equivalent Model
09cff824ab3a7b9725b1cd5f51bc95040a50d2de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Extends False Passed
  • Model Under Test
  • Equivalent Model
3bb2ad5942ddf1175aa79dceef854fa9d00bbdd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
de25eddd8e8e471bcf658dcf95aca68d084243d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
8834b1c07a7501ba5d8c1a085348fa6ed4810fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Variable True Passed
  • Model Under Test
  • Equivalent Model
65c30aa27631e0f1f57ee3cdf2b115e8e98ecfe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Variable False Passed
  • Model Under Test
  • Equivalent Model
d62983d029a7241c57405e71a63eba4248851a5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Constant True Passed
  • Model Under Test
  • Equivalent Model
30be9782fd32f625f0ce18701ecb98696d15be6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Constant False Passed
  • Model Under Test
  • Equivalent Model
fa0d591211f1c0f493b8030a092658f3b00a749a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
e55c9d1bc9b8f29525d5fac9da4c3bceaa0e0b49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
ad380387f26f617b60c31e817787324b97dd7486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Instance True Passed
  • Model Under Test
  • Equivalent Model
371b73d3a5042c7d55d587c87b5d470a630ad9bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Instance False Passed
  • Model Under Test
  • Equivalent Model
f4f466907fea49a7d7cfc2e5c2029bcc5dc7db84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
143bb0cd78c8f2576298256a21c4c750eda80b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
055789afe2032bc17755f938c16aa620ec2b1787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
3793067c84e4885175df4e1d0f3ad9a55c1c9a29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
90ed8a809788e1bb09fd5460da2f88b35bee8fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
e50bd99efd09589a95cb657ff7cee2faf2024a04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
a2076edf837b35784caa350c3961e8c79890e86f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
a62949a7f4c3b987a99a042264018300777729a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
4bfe534fe88fb9731b4088dce33fa410f4ce62ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
8c4c1e2333abeb686decb345cd191e0543fa18d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
44d429cf585ae544d4328d3a6d3d58a94d0a5084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
ee0da07484d326fe15f07a5f8ebe8d5ea09bede3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
1372ee7e8221e4822b0c64d6d4c64aa3f445f816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
a508dd0de5750127dad0f89052dd6a1d595c1072 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
d441e86f9c04b9e76efdc5773c61ea8b28310640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfCond True Passed
  • Model Under Test
  • Equivalent Model
6ed97e34ab9d2845570a9519ceb923d63843665a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfCond False Passed
  • Model Under Test
  • Equivalent Model
34688e30645d77545ec9b36323486d1a7ce56b06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfThen True Passed
  • Model Under Test
  • Equivalent Model
5a8eae4c157c3332a7c549e21f59718cd779b514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfThen False Passed
  • Model Under Test
  • Equivalent Model
f5ef2e269b9b685c606c2d744cef71750caadb6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfElse True Passed
  • Model Under Test
  • Equivalent Model
707537666069b83cffe5bda32e9aa08c9a15698b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality IfElse False Passed
  • Model Under Test
  • Equivalent Model
e9a10f300daa9d74b7a95d7dd36675938a254708 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality TlcEval True Passed
  • Model Under Test
  • Equivalent Model
d13e324b7398f0196c82bf41bfe45972e75c2506 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality TlcEval False Passed
  • Model Under Test
  • Equivalent Model
cb1d46eff95c7eee741aa6842b4d7e6fc3ade628 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagSetToBag True Passed
  • Model Under Test
  • Equivalent Model
283a74464d68edf523a999bfb6b217e9bfdeae51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagSetToBag False Passed
  • Model Under Test
  • Equivalent Model
42992aaf74e45a01eb983a63daa79885b43bb648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
a73cd0f6de7f4dc027d67576a17e2d80e115cd38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
9895014d4b438f69609cd8e00e185fc81366748d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagAddBag True Passed
  • Model Under Test
  • Equivalent Model
4fa17eb03e61d45364bc95d8f71d757c89160fcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagAddBag False Passed
  • Model Under Test
  • Equivalent Model
001672c53701d6699266f125751a50796a199fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagSub True Passed
  • Model Under Test
  • Equivalent Model
646fc90d1f00632ef7dfca1474d57698cc942dd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagSub False Passed
  • Model Under Test
  • Equivalent Model
b952443edcb6ed467b4e226e4a817ed92b4c41cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagUnion True Passed
  • Model Under Test
  • Equivalent Model
96372dc7b102e6f4eab3a4f3e2fedd3f1ee445a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagUnion False Passed
  • Model Under Test
  • Equivalent Model
68a22a7d8c5991b71f12b6f613b1f091be9f2a83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagOfAll True Passed
  • Model Under Test
  • Equivalent Model
b7c83447307d2c5cf538626b8414b39630c562d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality BagBagOfAll False Passed
  • Model Under Test
  • Equivalent Model
4e41d21a9331d2a8a0e17c9d5d523f9dba686183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality SeqHead True Passed
  • Model Under Test
  • Equivalent Model
f8f97c7ad712e7e22b3917002c963a87e83055ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality SeqHead False Passed
  • Model Under Test
  • Equivalent Model