diff options
Diffstat (limited to 'README_Kalray.md')
| -rw-r--r-- | README_Kalray.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/README_Kalray.md b/README_Kalray.md index c6509597..7dba03dd 100644 --- a/README_Kalray.md +++ b/README_Kalray.md @@ -27,6 +27,6 @@ make make test ``` -The reference files were generated using `k1-cos-gcc -O1`. +The reference files were generated using `kvx-cos-gcc -O1`. -We also have our own tests in `test/mppa/` - to run them, execute the script `simucheck.sh` located in that folder. These consist in comparing `compcert` output to `k1-cos-gcc` output. +We also have our own tests in `test/kvx/` - to run them, execute the script `simucheck.sh` located in that folder. These consist in comparing `compcert` output to `kvx-cos-gcc` output. |