diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-04-25 14:29:11 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-04-25 14:29:11 +0200 |
| commit | c97a4b7bb4af07c22137e0933d041d1f7eea95f1 (patch) | |
| tree | 00ff01d1afd9ddd92357392ad8658ffddc635f24 /pretyping | |
| parent | 72d6d5e87759b62dcd9974c87bf59496d27e10b0 (diff) | |
| parent | 73d9e569687551a858f923e02a0a8a26801ed135 (diff) | |
Merge PR #7322: Test suite Makefile: print message for failing tests as they come, misc improvements
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions