diff options
Diffstat (limited to 'test/aarch64/README.md')
-rw-r--r-- | test/aarch64/README.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/aarch64/README.md b/test/aarch64/README.md new file mode 100644 index 00000000..f943489c --- /dev/null +++ b/test/aarch64/README.md @@ -0,0 +1,15 @@ +# Testing the Machblock --> Asmblock translation +1. Get the reference version of compcert-aarch in the father's directory if this repo (checkout `aarch64-ref`) +2. Compile both repo for aarch64 +3. CD in this folder (`test/aarch64`) +4. Launch `./asmb_aarch64_gen_test.sh` + +## Options +The script takes following options : +- `-c` to clear generated files at the end +- `-w` to suppress warnings from Compcert + +## Tests files +The variable `DIRS` in the script takes the list of directories containing c files. +The tests under `test/aarch64/c` are simpler and useful to debug only one feature at a time. +Most of them comes from [here](https://cis.temple.edu/~ingargio/cis71/code/). |