# 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/).