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