about summary refs log tree commit diff homepage
path: root/scripts/build/sanitizer/klee.txt
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/build/sanitizer/klee.txt')
-rw-r--r--scripts/build/sanitizer/klee.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build/sanitizer/klee.txt b/scripts/build/sanitizer/klee.txt
new file mode 100644
index 00000000..856aba57
--- /dev/null
+++ b/scripts/build/sanitizer/klee.txt
@@ -0,0 +1,2 @@
+# checkMemoryUsage depends on the malloc library linked with, ignore it
+fun:_ZN4klee4util19GetTotalMallocUsageEv