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

---
 src/sail.ml         |  2 +-
 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')
 
-- 
cgit v1.2.3