diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-07-24 14:04:27 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-07-24 14:04:27 +0200 |
commit | 3c8429b030efcaba205b8d0faf7fdd1f174ea1e7 (patch) | |
tree | 0b7f0d2d0c7c54da20929bcbaf0c32b13a43ba7f /test/c | |
parent | 83aa2b0ae311d0ea68c74b93b9e1e237f330f5fc (diff) | |
download | compcert-kvx-3c8429b030efcaba205b8d0faf7fdd1f174ea1e7.tar.gz compcert-kvx-3c8429b030efcaba205b8d0faf7fdd1f174ea1e7.zip |
Temporary prepass flags in test/regression
Diffstat (limited to 'test/c')
0 files changed, 0 insertions, 0 deletions