diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-13 11:44:56 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-13 11:44:56 +0100 |
commit | d15b2c014daf547e10504278ae42d4651dc71319 (patch) | |
tree | 51e639c72c8d9b902621f1c27baf869da263d57e /test/mppa/general/.gitignore | |
parent | f24d303df6cb125ca19b953bb364955cc6e8c246 (diff) | |
download | compcert-kvx-d15b2c014daf547e10504278ae42d4651dc71319.tar.gz compcert-kvx-d15b2c014daf547e10504278ae42d4651dc71319.zip |
Revamped the instruction testsuite (all instructions work except umodd and udivd)
Diffstat (limited to 'test/mppa/general/.gitignore')
-rw-r--r-- | test/mppa/general/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/mppa/general/.gitignore b/test/mppa/general/.gitignore deleted file mode 100644 index ea1472ec..00000000 --- a/test/mppa/general/.gitignore +++ /dev/null @@ -1 +0,0 @@ -output/ |