Make sure tests respond to undefined behaviour

2020-03-09 17:51:09 -04:00 · 2020-03-09 17:51:09 -04:00 · 9b06aedefe
commit 9b06aedefe
parent 9023fef558
1 changed files with 3 additions and 1 deletions
--- a/test/test_functest.py
+++ b/test/test_functest.py
@ -70,7 +70,9 @@ def test_functest_sanitizers(implementation, impl_path, test_dir,
                 TYPE=implementation.scheme.type,
                 SCHEME=implementation.scheme.name,
                 IMPLEMENTATION=implementation.name,
-                 EXTRAFLAGS='-g -fsanitize=address,undefined',
+                 EXTRAFLAGS=(
+                     '-g -fsanitize=address,undefined '
+                     '-fno-sanitize-recover=undefined'),
                 SCHEME_DIR=impl_path,
                 DEST_DIR=dest_dir,
                 working_dir=os.path.join(test_dir, 'test'),