From 3f217002bd732d4c408af6bd34fafbb8bdd4404e Mon Sep 17 00:00:00 2001 From: Alasdair Date: Thu, 14 May 2020 10:25:18 +0100 Subject: Re-activate some tests --- test/c/run_tests.py | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'test') 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 = '\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') -- cgit v1.2.3