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 /exportclight | |
| 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 'exportclight')
0 files changed, 0 insertions, 0 deletions