Build AZ3 with asan

ref #24 [no ci]
Componolit · Nov 22, 2021 · 3daccb0 · 3daccb0
1 parent 85c9c53
commit 3daccb0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/tests.gpr b/tests/tests.gpr
@@ -11,12 +11,12 @@ project Tests is
    for Exec_Dir use "../obj/tests";
 
    package Builder is
-      for Global_Compilation_Switches ("Ada") use ("--coverage");
+      for Global_Compilation_Switches ("Ada") use ("--coverage", "-fsanitize=address", "-fno-omit-frame-pointer");
       for Default_Switches ("Ada") use Z3_Switches.Compiler_Switches & ("-O0");
    end Builder;
 
    package Linker is
-      for Default_Switches ("Ada") use ("-lgcov", "-lz3");
+      for Default_Switches ("Ada") use ("-fsanitize=address", "-static-libasan", "-lgcov", "-lz3");
    end Linker;
 
    package Binder is