Inconsistent report of verification results
Bug #1449774 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Danil Sokolov |
Bug Description
Verification result are reported as "violating" or "satisfying" the checked property. "Violating" means a trace exists that satisfies the Reach predicate. "Satisfying" means no trace satisfies the Reach predicate. This is confusing.
A solution is to add satisfiableMessage and unsatisfyableMe
Related branches
Changed in workcraft: | |
importance: | Undecided → Low |
To post a comment you must log in.