diff --git a/test/test_functest.py b/test/test_functest.py index 4923d74a..d7696881 100644 --- a/test/test_functest.py +++ b/test/test_functest.py @@ -57,7 +57,7 @@ def check_functest_sanitizers(implementation): TYPE=implementation.scheme.type, SCHEME=implementation.scheme.name, IMPLEMENTATION=implementation.name, - EXTRAFLAGS='-fsanitize=address,undefined', + EXTRAFLAGS='-g -fsanitize=address,undefined', working_dir=os.path.join('..', 'test'), env=env) try: