diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-03-30 19:25:49 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-04-20 09:37:39 +0200 |
commit | 202c96018bf086dd6941bc2483aec0e77d3128ad (patch) | |
tree | 06c04abc9d6e2ea28593f021278c8f92be42099d /test/c | |
parent | 99c97f7267a803bf92011857f5edbc8597e6b8da (diff) | |
download | compcert-202c96018bf086dd6941bc2483aec0e77d3128ad.tar.gz compcert-202c96018bf086dd6941bc2483aec0e77d3128ad.zip |
Check for errors after each pass.
Diffstat (limited to 'test/c')
0 files changed, 0 insertions, 0 deletions