| 42cfec926f86727e7560cc5f354f352e2cd9920c |
|
01-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Let HetsErrorProcess recognize errors of `prove`
In the `dg` command, hets outputs:
"*** Error:
<message>"
and in the `prove` command, hets outputs:
"*** Error: <message>"
So the `\Z` in the regexp is removed and the error message includes the
first line without the prefix "*** Error:" |