diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-22 17:06:58 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-09-22 17:06:58 +0200 |
commit | e9c738e3bd156f68905968e25c70ec796d3119c4 (patch) | |
tree | c4c42e57a695db5c8e4dacc17a9721c6481da87b /aarch64 | |
parent | 361726e23dc8ad15a61788349184e7790bec42c9 (diff) | |
download | compcert-e9c738e3bd156f68905968e25c70ec796d3119c4.tar.gz compcert-e9c738e3bd156f68905968e25c70ec796d3119c4.zip |
Test clightgen with -short-idents and -normalize options
Use different combination of options for different test files.
Diffstat (limited to 'aarch64')
0 files changed, 0 insertions, 0 deletions