diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-24 10:48:24 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-24 10:48:24 +0200 |
commit | b1ab210e798c911a5e4952ed244e581a18c86312 (patch) | |
tree | 23a310a068c9b61ad433aabfe581e555c2f21d92 /test/mppa/check.sh | |
parent | f73f3a4e5dda58408c82fe2657ddb251532ea894 (diff) | |
download | compcert-kvx-b1ab210e798c911a5e4952ed244e581a18c86312.tar.gz compcert-kvx-b1ab210e798c911a5e4952ed244e581a18c86312.zip |
MPPA - refined tests. Bug in mmult - need to generate O0 to debug easier
Diffstat (limited to 'test/mppa/check.sh')
0 files changed, 0 insertions, 0 deletions