diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-08-29 17:22:11 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-08-29 17:22:11 +0200 |
commit | fcc8418db10cc0f6abe63e78e1fdca948d872c2d (patch) | |
tree | 4b7e215573dfa5b3562f55aa3c6e0b499131b98c /common | |
parent | d9f2d0e8a6420f4f1da8c693960a55c38747d6eb (diff) | |
download | compcert-kvx-fcc8418db10cc0f6abe63e78e1fdca948d872c2d.tar.gz compcert-kvx-fcc8418db10cc0f6abe63e78e1fdca948d872c2d.zip |
Updated test/mppa/coverage.sh to check which instruction isn't tested yet
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions