Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
1dcf819c5004e35ded03bc26bd35cacb5680c454 |
TLC with reduction strategy:
|
AndProp | AndProp | True | Passed | |
a8f29fe0dae16c11c5d09aed626947317bd04794 |
TLC with reduction strategy:
|
AndProp | AndProp | False | Passed | |
a31d810735afaf505ed21446a1cae699b881013d |
TLC with reduction strategy:
|
Def0 | AndProp | True | Passed | |
e7fc7feac2e881b12aafb483b9cde8971f471406 |
TLC with reduction strategy:
|
Def0 | AndProp | False | Passed | |
ebb78b9e95eac87970ce2aa8c12a1279a8b26a2f |
TLC with reduction strategy:
|
LetDef0 | AndProp | True | Passed | |
a3913fe443d5186e0a9a7613fa28cfc4dd2aab25 |
TLC with reduction strategy:
|
LetDef0 | AndProp | False | Passed | |
b279fe6bc70e5a98d9b25f67ec7bfd08c573794e |
TLC with reduction strategy:
|
Def1 | AndProp | True | Passed | |
49fb3131ec45aa07f4ad27756dd39abf0d7b72a5 |
TLC with reduction strategy:
|
Def1 | AndProp | False | Passed | |
18f7e67a1b67f554aa3607d709fe5ae8280de342 |
TLC with reduction strategy:
|
LetDef1 | AndProp | True | Passed | |
89db75641d060daa0b2ec5464622161de96b7a06 |
TLC with reduction strategy:
|
LetDef1 | AndProp | False | Passed | |
2d1406e7f721d84a5a44551d2e5cb9b8d1e17d08 |
TLC with reduction strategy:
|
Def2 | AndProp | True | Passed | |
5eeb433bf44bce269dcc568bcbaa0a4d6f832174 |
TLC with reduction strategy:
|
Def2 | AndProp | False | Passed | |
95dadea8f85dfb9e3e47c2170a68940d752254b0 |
TLC with reduction strategy:
|
LetDef2 | AndProp | True | Passed | |
650fe653ded957e8be4fd7f2b9793204cff74dfe |
TLC with reduction strategy:
|
LetDef2 | AndProp | False | Passed | |
2f878f2c52f9dbc3d447c8c643ab71d3a2896f00 |
TLC with reduction strategy:
|
Def1Recursive | AndProp | True | Passed | |
c2bc9d4ae2614e92414a4f66f3f5c1ee100d92aa |
TLC with reduction strategy:
|
Def1Recursive | AndProp | False | Passed | |
6e3e066c0ce0a46c68026b8f0baf2eb57e71852c |
TLC with reduction strategy:
|
LetDef1Recursive | AndProp | True | Passed | |
463680bbf75801421a90843cac64f010ee5da5b5 |
TLC with reduction strategy:
|
LetDef1Recursive | AndProp | False | Passed | |
eefc06107b0ae54c2949575685440a73b6ad8cc5 |
TLC with reduction strategy:
|
Extends | AndProp | True | Passed | |
d84c574961baf9c499c2982756f439f5545cb3cb |
TLC with reduction strategy:
|
Extends | AndProp | False | Passed | |
81337e464efada95d1bdb6f439014522f7d825f9 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | AndProp | True | Passed | |
929240f66d60cb0fd643528dd2307d6cb7196a90 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | AndProp | False | Passed | |
23e9560e86aa40f7de5fda677f8a18b64f1c904c |
TLC with reduction strategy:
|
Instance | AndProp | True | Passed | |
38cc09564b774a9ea6fd52086d009b5dfd9b7775 |
TLC with reduction strategy:
|
Instance | AndProp | False | Passed | |
645194f48cc95509559f943361b4424be5d5eb34 |
TLC with reduction strategy:
|
InstanceWith | AndProp | True | Passed | |
01556f3408dd9d33cc6ece75da3903c76d5dc72c |
TLC with reduction strategy:
|
InstanceWith | AndProp | False | Passed | |
d96d8e4efdcd598e424578e9ef5ab566576af1ac |
TLC with reduction strategy:
|
InstanceNamed | AndProp | True | Passed | |
ad2562d8e8aac3b8d55355122cbce3960f8a1449 |
TLC with reduction strategy:
|
InstanceNamed | AndProp | False | Passed | |
5dfc84c319480f302eb06da8c6e973d84756aa8c |
TLC with reduction strategy:
|
InstanceNamedWith | AndProp | True | Passed | |
51156797b4bed48f0551e9d003be3ced78ba2f66 |
TLC with reduction strategy:
|
InstanceNamedWith | AndProp | False | Passed | |
a2cb9b2c1755fa1eba3713a7c7c63868c2435857 |
TLC with reduction strategy:
|
InstanceInFolder | AndProp | True | Passed | |
a487914680b5b2197e2246fc2df79c20a948200b |
TLC with reduction strategy:
|
InstanceInFolder | AndProp | False | Passed | |
d2938741d2e11a8130bfd7f9213ffc868c4eb333 |
TLC with reduction strategy:
|
InstanceWithInFolder | AndProp | True | Passed | |
9dda3021b5ccad32d9143dd3e61f7c91a420a01b |
TLC with reduction strategy:
|
InstanceWithInFolder | AndProp | False | Passed | |
23441247ed5d5a9966c206137d9a7e50f7d492a6 |
TLC with reduction strategy:
|
InstanceNamedInFolder | AndProp | True | Passed | |
7a4e67acdc66c712a4fae00456904005e25c601d |
TLC with reduction strategy:
|
InstanceNamedInFolder | AndProp | False | Passed | |
20a864582e75b7cbb7e73052e34da29c23db1299 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | AndProp | True | Passed | |
23b9d7e22b83cf913755a8c8c35a0effd79acc9c |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | AndProp | False | Passed | |
bfa00bb82e87a76385cc6e40c55c98b4a914d318 |
TLC with reduction strategy:
|
Lambda | AndProp | True | Passed | |
1119ea3c0cb6d1bdee2379f7ece2f7215d55439f |
TLC with reduction strategy:
|
Lambda | AndProp | False | Passed |