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 /x86_64 | |
| parent | 361726e23dc8ad15a61788349184e7790bec42c9 (diff) | |
| download | compcert-kvx-e9c738e3bd156f68905968e25c70ec796d3119c4.tar.gz compcert-kvx-e9c738e3bd156f68905968e25c70ec796d3119c4.zip | |
Test clightgen with -short-idents and -normalize options
Use different combination of options for different test files.
Diffstat (limited to 'x86_64')
0 files changed, 0 insertions, 0 deletions