| commit | 68953270d8dc28bac486bfeef199ff6705dc3777 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 25 21:42:11 2012 +0200 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 25 21:58:08 2012 +0200 |
| tree | 65425eb60c65e05e3f2e7ddff58ac648c46847fe | |
| parent | 43574f1fc7591c15e8cf23b6296e4a8c86b9455d [diff] |
Test convenience: more error output.