Add a valid-memcleanup.prp file

goblint · Oct 3, 2023 · 89d68af · 89d68af
1 parent b26010a
commit 89d68af
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/sv-comp/valid-memcleanup.prp b/tests/sv-comp/valid-memcleanup.prp
@@ -0,0 +1,2 @@
+CHECK( init(main()), LTL(G valid-memcleanup) )
+