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 /test | |
| parent | f05e81a641b4fb6f2d5e69ef4c13e0ada3dc3bfb (diff) | |
Re-activate some tests
Diffstat (limited to 'test')
| -rwxr-xr-x | test/c/run_tests.py | 16 |
1 files changed, 8 insertions, 8 deletions
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') |