Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
13f2da02ccb32f6fcd7cd6a81493261dcb46378f |
TLC with reduction strategy:
|
LetDefFunInDef | InDef0 | True | Passed | |
8d81c883e597796f68282eb93fd67831c83d7658 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef0 | False | Passed | |
4d2fd3f78720fe6e21b55af98b979c9c3dcc7c6e |
TLC with reduction strategy:
|
LetDefFunInDef | InDef1 | True | Passed | |
661c9e42bc9e92030bf2c171cb567689c25f9c40 |
TLC with reduction strategy:
|
LetDefFunInDef | InDef1 | False | Passed | |
1cea1a99fb4f86ce581e0a363677bf45581cbf7e |
TLC with reduction strategy:
|
LetDefFunInDef | InDef2 | True | Passed | |
b358b054c8d26fad5d25bfd7f35e4a3af76842cc |
TLC with reduction strategy:
|
LetDefFunInDef | InDef2 | False | Passed |