Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
05914f5b68fb1de25483914a217b131dc1cf717b |
TLC with reduction strategy:
|
DefFunInDef | InDef0 | True | Passed | |
c24297f123153dfd926785a6a38c9ce00d3cd42e |
TLC with reduction strategy:
|
DefFunInDef | InDef0 | False | Passed | |
7c7df61cc413c18b08fcdf0347e3e4a51cc957e7 |
TLC with reduction strategy:
|
DefFunInDef | InDef1 | True | Passed | |
ec49f96b7316d575ea7b2362003070650dc6156a |
TLC with reduction strategy:
|
DefFunInDef | InDef1 | False | Passed | |
b931d6ba44dd6c8521d1308f0ebd6891de576a8c |
TLC with reduction strategy:
|
DefFunInDef | InDef2 | True | Passed | |
2a6f88084b9236d8b25d72d8f972cc5df72356dd |
TLC with reduction strategy:
|
DefFunInDef | InDef2 | False | Passed |