diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 20:51:37 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 20:51:37 +0100 |
| commit | be449553d2fa4c801e2c05c129cab0be8673f35d (patch) | |
| tree | f723c5599e7ae76e5ba0ed633e7851fd41bd7213 /test/monniaux | |
| parent | 2eab9982e439033cfa214058949836c9e2f3e385 (diff) | |
| download | compcert-kvx-be449553d2fa4c801e2c05c129cab0be8673f35d.tar.gz compcert-kvx-be449553d2fa4c801e2c05c129cab0be8673f35d.zip | |
C99 7.16 mandates __bool_true_false_are_defined
Diffstat (limited to 'test/monniaux')
0 files changed, 0 insertions, 0 deletions