diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-27 10:04:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-27 10:04:05 +0200 |
commit | eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (patch) | |
tree | b4ae0b3a2f4d60950c1f8d35153f883d81849a44 /runtime/c | |
parent | 5a7acc396131bc452f868d8d913be26240f21cf5 (diff) | |
download | compcert-eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6.tar.gz compcert-eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6.zip |
test/compression: use unique temporary files for testing
Diffstat (limited to 'runtime/c')
0 files changed, 0 insertions, 0 deletions