Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
d339c58547ed40b7bf2c973553138ccd2dde2b0f |
TLC with reduction strategy:
|
BagSubBag | OneLineComment | True | Passed | |
f0859ee9860ea610af70d0e554d8a4dc9bd79460 |
TLC with reduction strategy:
|
BagSubBag | OneLineComment | False | Passed | |
a2be6a3069153f78b23aaced27f9df33e83eb66d |
TLC with reduction strategy:
|
BagSubBag | MultiLineComment | True | Passed | |
9c2a7beac7bae8571c6aa2543eab1c6803f7dcc4 |
TLC with reduction strategy:
|
BagSubBag | MultiLineComment | False | Passed | |
9b86abbe47542a7a2eebbf31eb6eb2e43e49c289 |
TLC with reduction strategy:
|
BagSubBag | Let | True | Passed | |
9104c0ca2640ce20760feb026aafbab9dca024df |
TLC with reduction strategy:
|
BagSubBag | Let | False | Passed | |
2a1928fff27c85ab84ce7fd2b229c49e378284cd |
TLC with reduction strategy:
|
BagSubBag | Choose | True | Passed | |
0ffa6e2829fdcd8ed2fea0718e747c10ce41b55b |
TLC with reduction strategy:
|
BagSubBag | Choose | False | Passed | |
34f3b4446852c406a62f3f0742bd043bfcde7486 |
TLC with reduction strategy:
|
BagSubBag | FunApp | True | Passed | |
6bb2c1830c5f5dd419c4da79d8a56e5dbb8360e8 |
TLC with reduction strategy:
|
BagSubBag | FunApp | False | Passed | |
9e5db5dbe03b241b3fc2b38fdcf2ec6b92dd7a3b |
TLC with reduction strategy:
|
BagSubBag | Prime | True | Passed | |
e7e497e3fd5a0cbfbbcf25992af5fe638d613af8 |
TLC with reduction strategy:
|
BagSubBag | Prime | False | Passed | |
f982d7399b599717fb70678f774063619923d1df |
TLC with reduction strategy:
|
BagSubBag | Def0 | True | Passed | |
e468cc790a68517ed03d858586bf2360923daa94 |
TLC with reduction strategy:
|
BagSubBag | Def0 | False | Passed | |
d45d3088346380456a6d6eda83e19e8f07fd9637 |
TLC with reduction strategy:
|
BagSubBag | LetDef0 | True | Passed | |
82edad8fd51cead3c57221751a99e3e6b82ae02a |
TLC with reduction strategy:
|
BagSubBag | LetDef0 | False | Passed | |
dc24aec9e2f3190651f0fd7b89fc07caa1844ced |
TLC with reduction strategy:
|
BagSubBag | Def1 | True | Passed | |
161e0d3d17bcdb81b4067ea11736ade0669d6b44 |
TLC with reduction strategy:
|
BagSubBag | Def1 | False | Passed | |
73e6a2cc7134b505c307db8699c0453ac294d1d0 |
TLC with reduction strategy:
|
BagSubBag | LetDef1 | True | Passed | |
cf4d820778094113cb9bb62096bd59a5f955e65a |
TLC with reduction strategy:
|
BagSubBag | LetDef1 | False | Passed | |
f301c5277dd714944eb349606f2fbbd7028e6177 |
TLC with reduction strategy:
|
BagSubBag | Def2 | True | Passed | |
3139774c41d979a19fdb1a9cf2f9ff4ec59a9234 |
TLC with reduction strategy:
|
BagSubBag | Def2 | False | Passed | |
7d0e7a73a067a4807f0683a4217ce5dfeff04267 |
TLC with reduction strategy:
|
BagSubBag | LetDef2 | True | Passed | |
c7b0903eab88b51cf6a241b54a79708face847ca |
TLC with reduction strategy:
|
BagSubBag | LetDef2 | False | Passed | |
e0fa0ab8966ea7f249379f5e6e71837bd34c590e |
TLC with reduction strategy:
|
BagSubBag | Def1Recursive | True | Passed | |
66ccadb9ab2162d34d7b403c648d7defa0abd386 |
TLC with reduction strategy:
|
BagSubBag | Def1Recursive | False | Passed | |
ead35a576d8f8e584da99806de3472e2a1a0ed9f |
TLC with reduction strategy:
|
BagSubBag | LetDef1Recursive | True | Passed | |
a58d5e21ff2e1fc8dee02b222266cd67579b5cef |
TLC with reduction strategy:
|
BagSubBag | LetDef1Recursive | False | Passed | |
2ea57f321c11cb30dfedd53b0c9af9838e981192 |
TLC with reduction strategy:
|
BagSubBag | Extends | True | Passed | |
a0321dad2794decb341917b51a031ace6e40ae6e |
TLC with reduction strategy:
|
BagSubBag | Extends | False | Passed | |
bedefa37ff788e5340843499adcac42d5855487b |
TLC with reduction strategy:
|
BagSubBag | ExtendsInDifferentFolder | True | Passed | |
22bfc44805bdc1643f833e22677744232a6acaca |
TLC with reduction strategy:
|
BagSubBag | ExtendsInDifferentFolder | False | Passed | |
13b3411bab500cbda03f068408b364364ef48926 |
TLC with reduction strategy:
|
BagSubBag | Variable | True | Passed | |
03cd439d1612bc52a638501638e81bd53949ed8b |
TLC with reduction strategy:
|
BagSubBag | Variable | False | Passed | |
d0fa4e771f861eee23d50ea0dfb48f4a95dce113 |
TLC with reduction strategy:
|
BagSubBag | Constant | True | Passed | |
fb2b9019b7b16ab601bb24e9fbdfe376c04db142 |
TLC with reduction strategy:
|
BagSubBag | Constant | False | Passed | |
37a2f36ae494b96c25f6184cca454e65c12d69ad |
TLC with reduction strategy:
|
BagSubBag | ConstantRank1 | True | Passed | |
ad60489f1a2097a15b633665d79950731f3a96a4 |
TLC with reduction strategy:
|
BagSubBag | ConstantRank1 | False | Passed | |
cff815b56dee512244a5f6c4348239ba39e679b8 |
TLC with reduction strategy:
|
BagSubBag | Instance | True | Passed | |
85b8830d048eb3a18f353ebbea18ea46d5c79cb5 |
TLC with reduction strategy:
|
BagSubBag | Instance | False | Passed | |
c7ad3a4b7fe8a0503e5795f3a9553d9d07ead091 |
TLC with reduction strategy:
|
BagSubBag | InstanceWith | True | Passed | |
7beb547dbe57e43904c1e34a875a1fe84211bbfb |
TLC with reduction strategy:
|
BagSubBag | InstanceWith | False | Passed | |
5c3cb9b4ac612e920dafec21d7019e2ea488e6b0 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamed | True | Passed | |
63de49fc99e2563fb9dd3be63a58838e74d7f32e |
TLC with reduction strategy:
|
BagSubBag | InstanceNamed | False | Passed | |
bc80ea5de7d69d69d3b8f596e2c3cb8a4e2a96c9 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedWith | True | Passed | |
42bfd393cb6c5291aa112af68a40bc36dacb714f |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedWith | False | Passed | |
5baa905d3fca031a2a05033e6baa5f220bfaf835 |
TLC with reduction strategy:
|
BagSubBag | InstanceInFolder | True | Passed | |
cd571e576d1286763abab2a32819320679d8bca6 |
TLC with reduction strategy:
|
BagSubBag | InstanceInFolder | False | Passed | |
6cb0188531b1a7bcb2ef9d82ee7a49df003bc12a |
TLC with reduction strategy:
|
BagSubBag | InstanceWithInFolder | True | Passed | |
6d5fda2471532ec7ed7828bdfa5b7ba06bb90572 |
TLC with reduction strategy:
|
BagSubBag | InstanceWithInFolder | False | Passed | |
9d7031b0c6bfca728d68c1a10d51e35849994ebd |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedInFolder | True | Passed | |
b962eeb9e242ebe07f14ef8b6b7beae955b0bab9 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedInFolder | False | Passed | |
9fddf1d939519405503afa84a36694fccfb6e4d0 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedWithInFolder | True | Passed | |
3eb0f10cc637545eae52afb52f144a078f072115 |
TLC with reduction strategy:
|
BagSubBag | InstanceNamedWithInFolder | False | Passed | |
1b0a8e81f85988a84525e287f8e304543eea49a0 |
TLC with reduction strategy:
|
BagSubBag | IfCond | True | Passed | |
21476ef178c65982fc473274bcdb4d20e689650b |
TLC with reduction strategy:
|
BagSubBag | IfCond | False | Passed | |
7adc13e7f8da22e8b74cdef76934740f65109939 |
TLC with reduction strategy:
|
BagSubBag | IfThen | True | Passed | |
13b01cf0f7b8b513c805f5e058cff6f1d70ca385 |
TLC with reduction strategy:
|
BagSubBag | IfThen | False | Passed | |
6a06ca8023a45f8935b3b91bb8a4e7031230d627 |
TLC with reduction strategy:
|
BagSubBag | IfElse | True | Passed | |
6b9a869f35387889ddac3510f7d0f1fd7dab6105 |
TLC with reduction strategy:
|
BagSubBag | IfElse | False | Passed | |
af77a65333d25dfc851bfb9f1bc36f7e8edac680 |
TLC with reduction strategy:
|
BagSubBag | TlcEval | True | Passed | |
5771b8317f5861fbbefaba248a1ff2374c068fd5 |
TLC with reduction strategy:
|
BagSubBag | TlcEval | False | Passed | |
7e4f53fe2bcf66f0f3f86c97aa4e3c800c6cb914 |
TLC with reduction strategy:
|
BagSubBag | BagSetToBag | True | Passed | |
c26a762b5d7ce4ff54da336d27dfb4c7250c4a39 |
TLC with reduction strategy:
|
BagSubBag | BagSetToBag | False | Passed | |
93ed4ac0946f7d5b178a1b650176f8f228cb71f4 |
TLC with reduction strategy:
|
BagSubBag | BagEmptyBag | True | Passed | |
5238d0d971d968f6e53542a039206cdb0f36d808 |
TLC with reduction strategy:
|
BagSubBag | BagEmptyBag | False | Passed | |
f1ef9749d53055f1aa137dacd4ea3ff10403e624 |
TLC with reduction strategy:
|
BagSubBag | BagAddBag | True | Passed | |
e2e7fc38975fe77fac3fb0d09f1e78c7cf089d97 |
TLC with reduction strategy:
|
BagSubBag | BagAddBag | False | Passed | |
43e902241af4098bb8773ab0ef2b5c6d427533d1 |
TLC with reduction strategy:
|
BagSubBag | BagBagSub | True | Passed | |
a2d19e5ea63c4518c220001824d6fb60d4f30785 |
TLC with reduction strategy:
|
BagSubBag | BagBagSub | False | Passed | |
073747c3d8c9241ec81cfe3284c59efece2ad1c6 |
TLC with reduction strategy:
|
BagSubBag | BagBagUnion | True | Passed | |
be933bb3accf7a1dc7d0f356ea7aba3d8433d198 |
TLC with reduction strategy:
|
BagSubBag | BagBagUnion | False | Passed | |
4ecb7664b8a3f668bde523bdd0ea273b05a6c729 |
TLC with reduction strategy:
|
BagSubBag | BagBagOfAll | True | Passed | |
c50b784e4573c4ccc95cd64995492f198c1547eb |
TLC with reduction strategy:
|
BagSubBag | BagBagOfAll | False | Passed | |
8a1309d932c9f53322bb0c61125434c68967ba8f |
TLC with reduction strategy:
|
BagSubBag | SeqHead | True | Passed | |
e166c18829a13e6801100c1c8af6ef70e1385793 |
TLC with reduction strategy:
|
BagSubBag | SeqHead | False | Passed |