diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-19 17:59:33 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-19 17:59:33 +0200 |
commit | f23f7ae124c8394c16a3db4e4d75c7f795ad7dab (patch) | |
tree | 8537de849d0c5d7a3eb8b9a6f803bb19f3eb835a /cparser/Machine.ml | |
parent | 371fc75ba09f7c1e7ea11ec4fe4e04aca05b5bef (diff) | |
download | compcert-kvx-f23f7ae124c8394c16a3db4e4d75c7f795ad7dab.tar.gz compcert-kvx-f23f7ae124c8394c16a3db4e4d75c7f795ad7dab.zip |
Desactivating CompCert tests taking too long
Diffstat (limited to 'cparser/Machine.ml')
0 files changed, 0 insertions, 0 deletions