diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-08-30 12:08:59 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-08-30 12:08:59 +0200 |
commit | 3a78733f68c8c02f8578fbfa8ca08bbed8ac7988 (patch) | |
tree | 7c2b8212ac742a3f237b71292dee0283d17a960c /test/mppa | |
parent | a160967d4ce131c6cad7c1c44b654e3aa5855023 (diff) | |
download | compcert-kvx-3a78733f68c8c02f8578fbfa8ca08bbed8ac7988.tar.gz compcert-kvx-3a78733f68c8c02f8578fbfa8ca08bbed8ac7988.zip |
Decreasing a bit the number of processes in run_benches
Diffstat (limited to 'test/mppa')
0 files changed, 0 insertions, 0 deletions