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 /src | |
| 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
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail.ml | 1 |
1 files changed, 1 insertions, 0 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 |