Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
cc4307c13e57690149d703eae4b640e7684a9db6 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef0 | True | Passed | |
091ec64a0cfee0203034e4963af82c7d22d4be90 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef0 | False | Passed | |
8ea9ce8c66401b99b99c144bea8a705245020093 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef1 | True | Passed | |
1edd63363aeb76a8be57b24294cea483350e2973 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef1 | False | Passed | |
7effd26b515421a472fbce834ce9663b71e0d958 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef2 | True | Passed | |
70c57d6c11efd8ce92be4ab5fe62c98ec1340d9e |
TLC with reduction strategy:
|
LetDefFunInDef | InDef2 | False | Passed |