blob: f943489c59729ec587ce942c5677b231b41bd42c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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/).
|
