diff --git a/tests/regression/45-escape/51-fresh-global.t b/tests/regression/45-escape/51-fresh-global.t new file mode 100644 index 0000000000..233862a9b5 --- /dev/null +++ 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 new file mode 100644 index 0000000000..23c0dd3290 --- /dev/null +++ b/tests/regression/45-escape/dune @@ -0,0 +1,2 @@ +(cram + (deps (glob_files *.c)))