diff options
| author | Gaëtan Gilbert | 2018-04-22 13:26:48 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-04-22 13:26:48 +0200 |
| commit | 4bbf13bb31ac5eac24d195f67624c2ab03bb51ac (patch) | |
| tree | 9a89965ae78f36d5926a798c3fedb7170598bb20 /kernel/uGraph.ml | |
| parent | 2ded83ebfd958fd8187c11d4dec26af9d69e083c (diff) | |
test suite: print message for failing tests as they come
ie you might see
make
TEST bugs/closed/1337.v
TEST bugs/closed/3263.v
TEST bugs/closed/7777.v
FAILED bugs/closed/3263.v.log
TEST bugs/opened/1.v
...
report: 3263 failed (should be closed)
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions