diff options
Diffstat (limited to 'test')
| -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 |