diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:43:18 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:43:18 +0200 |
commit | 579f90c074584b27fceae7975cf6e52ef694c96c (patch) | |
tree | d60dd8a6061312607be1d9a9b3edd299a1e6c9b2 /.gitignore | |
parent | 72288298ea871d30db6693a65fe0ac2236a045c1 (diff) | |
download | compcert-kvx-579f90c074584b27fceae7975cf6e52ef694c96c.tar.gz compcert-kvx-579f90c074584b27fceae7975cf6e52ef694c96c.zip |
disable large benchmarks that rely on heap saturation and other limits
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions