diff options
| author | Alasdair | 2020-05-14 10:25:18 +0100 |
|---|---|---|
| committer | Alasdair | 2020-05-14 10:25:18 +0100 |
| commit | 3f217002bd732d4c408af6bd34fafbb8bdd4404e (patch) | |
| tree | 96d61935d183483e370b1804447280d4cb525622 | |
| parent | f05e81a641b4fb6f2d5e69ef4c13e0ada3dc3bfb (diff) | |
Re-activate some tests
| -rw-r--r-- | src/sail.ml | 2 | ||||
| -rwxr-xr-x | test/c/run_tests.py | 16 |
2 files changed, 9 insertions, 9 deletions
diff --git a/src/sail.ml b/src/sail.ml index 1f1b2489..9dbd1f6c 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -55,7 +55,7 @@ module Json = Yojson.Basic let lib = ref ([] : string list) let opt_interactive_script : string option ref = ref None -(* Note: May cause a depcrecated warning for json type, but this cannot be +(* Note: May cause a deprecated warning for json type, but this cannot be fixed without breaking Ubuntu 18.04 CI *) let opt_config : Json.json option ref = ref None let opt_print_version = ref false diff --git a/test/c/run_tests.py b/test/c/run_tests.py index c4463e51..ff9aa952 100755 --- a/test/c/run_tests.py +++ b/test/c/run_tests.py @@ -116,16 +116,16 @@ def test_lem(name): xml = '<testsuites>\n' xml += test_c2('unoptimized C', '', '', True) -#xml += test_c('unoptimized C', '', '', True) -#xml += test_c('optimized C', '-O2', '-O', True) -#xml += test_c('constant folding', '', '-Oconstant_fold', True) -#xml += test_c('monomorphised C', '-O2', '-O -Oconstant_fold -auto_mono', True) -#xml += test_c('specialization', '-O1', '-O -c_specialize', True) -#xml += test_c('undefined behavior sanitised', '-O2 -fsanitize=undefined', '-O', False) +xml += test_c('unoptimized C', '', '', True) +xml += test_c('optimized C', '-O2', '-O', True) +xml += test_c('constant folding', '', '-Oconstant_fold', True) +xml += test_c('monomorphised C', '-O2', '-O -Oconstant_fold -auto_mono', True) +xml += test_c('specialization', '-O1', '-O -c_specialize', True) +xml += test_c('undefined behavior sanitised', '-O2 -fsanitize=undefined', '-O', False) -#xml += test_interpreter('interpreter') +xml += test_interpreter('interpreter') -#xml += test_ocaml('OCaml') +xml += test_ocaml('OCaml') #xml += test_lem('lem') |