diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-16 12:16:52 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-16 12:16:52 +0200 |
commit | b0d9d7bea68ee9443d2cd6d887e433575c2aed10 (patch) | |
tree | 371ea9de26e8b09c3a2d75a5933cb307dde76a76 /backend/Duplicateaux.ml | |
parent | f66cf1df3051d93ca0b3c5fa885a17f872f2fa13 (diff) | |
download | compcert-kvx-b0d9d7bea68ee9443d2cd6d887e433575c2aed10.tar.gz compcert-kvx-b0d9d7bea68ee9443d2cd6d887e433575c2aed10.zip |
test/kvx/sort : timeout of 20s instead of 10s
Diffstat (limited to 'backend/Duplicateaux.ml')
0 files changed, 0 insertions, 0 deletions