Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove Why3 error class | Alex Beregszaszi | 2017-07-01 | 1 | -4/+0 |
| | |||||
* | Refactor error reporting | Rhett Aultman | 2017-05-30 | 1 | -0/+106 |
This commit introduces ErrorReporter, a utility class which consolidates all of the error logging functionality into a common set of functions. It also replaces all direct interactions with an ErrorList with calls to an ErrorReporter. This commit resolves issue #2209 |