diff options
| author | Alasdair | 2018-06-09 03:06:27 +0100 |
|---|---|---|
| committer | Alasdair | 2018-06-09 03:06:27 +0100 |
| commit | 6b98912c895a72e436d0e3b6a72bd751ad29f156 (patch) | |
| tree | 6a0216b939550789760c3318036cc920d482ce5f /test/c/run_tests.sh | |
| parent | b424d30a1b5de1b0a38482624b47ea610c10a12e (diff) | |
Fix issue in C_backend, and run C tests with undefined behavior sanitizer
Diffstat (limited to 'test/c/run_tests.sh')
| -rwxr-xr-x | test/c/run_tests.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/c/run_tests.sh b/test/c/run_tests.sh index e1a1a1ce..0990938d 100755 --- a/test/c/run_tests.sh +++ b/test/c/run_tests.sh @@ -89,6 +89,10 @@ SAIL_OPTS="-O" CC_OPTS="-O2" run_c_tests +SAIL_OPTS="-O" +CC_OPTS="-O2 -fsanitize=undefined" +run_c_tests + finish_suite "C testing" printf "</testsuites>\n" >> $DIR/tests.xml |