From 2b4018a07e9eead8bfe147611b24a4d5856b4d56 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 6 Mar 2019 14:11:24 +0000
Subject: Add option to slice out printing and tracing functions when
 generating C

Make instruction dependency graph use graph.ml

Expose incremental graph building functions for performance in graph.mli
---
 test/c/run_tests.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test/c')

diff --git a/test/c/run_tests.py b/test/c/run_tests.py
index 4a02dd78..2ee44fca 100755
--- a/test/c/run_tests.py
+++ b/test/c/run_tests.py
@@ -95,7 +95,8 @@ 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('full optimizations', '-O2 -mbmi2 -DINTRINSICS', '-O -Oconstant_fold', True)
-xml += test_c('address sanitised', '-O2 -fsanitize=undefined', '-O', False)
+xml += test_c('specialization', '-O1', '-O -c_specialize', True)
+xml += test_c('undefined behavior sanitised', '-O2 -fsanitize=undefined', '-O', False)
 
 xml += test_interpreter('interpreter')
 
-- 
cgit v1.2.3