diff options
| author | Emilio Jesus Gallego Arias | 2019-01-29 15:42:59 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-01-29 15:42:59 +0100 |
| commit | 966efd33caa990839657b485bc3eb82de332d799 (patch) | |
| tree | 329845c03d3ac8058c6452afc95a082016cc0a55 /kernel/cbytecodes.mli | |
| parent | 67d0d038d1a2fba80a086c1c2096cfa3166ef362 (diff) | |
[test-suite] Display full paths on CHECK.
This makes the display consistent wrt `TEST`:
```
TEST failure/Case7.v
CHECK Case7
```
vs
```
TEST failure/Case7.v
CHECK failure/Case7.v
```
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions