diff options
| author | Alasdair Armstrong | 2018-02-07 19:01:32 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-07 19:01:32 +0000 |
| commit | 8b13b71a80b89e8494cc550c65d36e2eca7c6c79 (patch) | |
| tree | db5e1da3b448ed2b2c7bf1032ed5e199e2ba7da2 | |
| parent | 66eb6adffbb392cf78a78ff41eefd0fa52e7983a (diff) | |
Remove warnings during re-writing
Turn of warnings so we don't get warnings for generated code, this fixes the false-positive warnings in the riscv test suite. Also use basename in test/riscv/run_tests.sh to not print long paths
| -rw-r--r-- | src/sail.ml | 1 | ||||
| -rwxr-xr-x | test/riscv/run_tests.sh | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/sail.ml b/src/sail.ml index dac2f841..1016966e 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -232,6 +232,7 @@ let main() = then Printf.printf "Sail 2.0\n" else let out_name, ast, type_envs = load_files Type_check.initial_env !opt_file_arguments in + Util.opt_warnings := false; (* Don't show warnings during re-writing for now *) (*let _ = Printf.eprintf "Type checked, next to pretty print" in*) begin diff --git a/test/riscv/run_tests.sh b/test/riscv/run_tests.sh index dd19bd72..ab121d61 100755 --- a/test/riscv/run_tests.sh +++ b/test/riscv/run_tests.sh @@ -61,9 +61,9 @@ fi for test in $DIR/tests/*.elf; do if $SAILDIR/riscv/riscv "$test" >"${test/.elf/.out}" 2>&1 && grep -q SUCCESS "${test/.elf/.out}" then - green "$test" "ok" + green `basename $test` "ok" else - red "$test" "fail" + red `basename $test` "fail" fi done |