diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-04 21:00:42 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-04 21:00:42 +0100 |
commit | 17fb588d1a5b446db3731f4485d8bb075bc2fac2 (patch) | |
tree | bb0f7f040d0dad052af30c90e7dad00b76b958c5 /common | |
parent | 32fff32cd1a68567fb5079f2962758836eeefef6 (diff) | |
download | compcert-kvx-17fb588d1a5b446db3731f4485d8bb075bc2fac2.tar.gz compcert-kvx-17fb588d1a5b446db3731f4485d8bb075bc2fac2.zip |
code that bombs, to be used in regression testing
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions