diff options
| author |  xclerc <xavier.clerc@inria.fr> | 2013-12-02 13:08:55 +0100 |
|---|---|---|
| committer | xclerc <xavier.clerc@inria.fr> | 2013-12-02 13:08:55 +0100 |
| commit | c101a710c96e03e228e4b1aacee8edebd3c8dabf (patch) | |
| tree | 76ddbd569d765018b8213889131cec64688506cd /test-suite/bench | |
| parent | 38ab183fa9c37e6e405db20ccc393465474a73c0 (diff) | |
Print logical name rather than path (thus allowing reproducible tests).
Diffstat (limited to 'test-suite/bench')
0 files changed, 0 insertions, 0 deletions