diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-25 11:29:59 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-25 11:29:59 +0200 |
commit | 262c936143b11006167d44719c6984eb295c886b (patch) | |
tree | 709cfd78627285ad624a76231e4847e1465d3c29 /cfrontend/Clight.v | |
parent | 798ea13f2e46ee4cea3c4950702109c823d8c053 (diff) | |
download | compcert-kvx-262c936143b11006167d44719c6984eb295c886b.tar.gz compcert-kvx-262c936143b11006167d44719c6984eb295c886b.zip |
Removing NaNs from TESTS_DIFF (float precision issues..)
Diffstat (limited to 'cfrontend/Clight.v')
0 files changed, 0 insertions, 0 deletions