Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
62bd65594b825d3c3d01a1b7c3d0714d10699a09 |
TLC with reduction strategy:
|
ChooseInDef | InDef2 | True | Passed | |
875d6f532cf6ff7e0ea7e0cb26bc822ac9a4af47 |
TLC with reduction strategy:
|
ChooseInDef | InDef2 | False | Passed |