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.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| 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.