opened
andrewchambers
username_0
compcert has an interpreter that fits well with a subset of our tests, which will also detect undefined operation in our tests. 

http://compcert.inria.fr/man/manual004.html
compcert interpreted mode
issue
created
andrewchambers
username_0
Also change compcert to use -fall
comment