Add cram test for not printing malloc uniqueness counter when disabled

goblint · Jan 2, 2024 · 5b00197 · 5b00197
1 parent 68f5fba
commit 5b00197
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/tests/regression/45-escape/51-fresh-global.t b/tests/regression/45-escape/51-fresh-global.t
@@ -0,0 +1,13 @@
+  $ goblint --set ana.activated[+] mallocFresh --set ana.activated[-] mhp --set ana.thread.domain plain 51-fresh-global.c
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 15
+    dead: 0
+    total lines: 15
+  [Warning][Race] Memory location (alloc@sid:21@tid:main) (race with conf. 110): (51-fresh-global.c:25:7-25:31)
+    write with lock:{A} (conf. 110)  (exp: & *i) (51-fresh-global.c:10:3-10:10)
+    write with thread:main (conf. 110)  (exp: & *i) (51-fresh-global.c:27:3-27:9)
+  [Info][Race] Memory locations race summary:
+    safe: 1
+    vulnerable: 0
+    unsafe: 1
+    total memory locations: 2
diff --git a/tests/regression/45-escape/dune b/tests/regression/45-escape/dune
@@ -0,0 +1,2 @@
+(cram
+ (deps (glob_files *.c)))