From 9b06aedefef989de0c028cdd89d382b25a0c96cc Mon Sep 17 00:00:00 2001 From: Thom Wiggers Date: Mon, 9 Mar 2020 17:51:09 -0400 Subject: [PATCH] Make sure tests respond to undefined behaviour --- test/test_functest.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/test/test_functest.py b/test/test_functest.py index a9144b98..53171217 100644 --- 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'),