diff options
| author | Jon French | 2019-03-14 13:56:37 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-14 13:56:37 +0000 |
| commit | 0d88c148a2a068a95b5fc3d5c25b599faf3e75a0 (patch) | |
| tree | cb507bee25582f503ae4047ce32558352aeb8b27 /test/c/run_tests.py | |
| parent | 4f14ccb421443dbc10b88e190526dda754f324aa (diff) | |
| parent | ec8cad1daa76fb265014d3d313173905925c9922 (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'test/c/run_tests.py')
| -rwxr-xr-x | test/c/run_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
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') |