Rename all Error to ERROR in verifypn
Bug #1770930 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Invalid
|
Undecided
|
Unassigned | ||
verifypn |
New
|
Critical
|
Unassigned |
Bug Description
Rename Error to ERROR (or the other way round) when terminating with
ErrorCode in verifypn engine so that the output is unified.
Changed in tapaal: | |
status: | New → Invalid |
Changed in verifypn: | |
importance: | Undecided → Critical |
Changed in tapaal: | |
importance: | Critical → Undecided |
To post a comment you must log in.
And sometimes we exit with ErrorCode but the message does not print the keyword "ERROR" at all.