From 546d9e41f22b2627654a03856e014801c0e5cb80 Mon Sep 17 00:00:00 2001
From: Thom Wiggers <thom@thomwiggers.nl>
Date: Tue, 16 Apr 2019 13:24:23 +0200
Subject: [PATCH] Make output of sanitizer nicer

---
 test/test_functest.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: