Combined verification of several STG properties
Bug #1530887 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Danil Sokolov |
Bug Description
It would be convenient to check several frequently used STG properties in one menu action. In particular, deadlock, consistency and output persistency checks are often performed together.
Related branches
To post a comment you must log in.