From 89d68af6d7c68a647e13dd77e876580dbc8e71b1 Mon Sep 17 00:00:00 2001
From: Stanimir Bozhilov <stanimir.bozhilov.1998@gmail.com>
Date: Tue, 3 Oct 2023 12:35:30 +0200
Subject: [PATCH] Add a valid-memcleanup.prp file

---
 tests/sv-comp/valid-memcleanup.prp | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 tests/sv-comp/valid-memcleanup.prp

diff --git a/tests/sv-comp/valid-memcleanup.prp b/tests/sv-comp/valid-memcleanup.prp
new file mode 100644
index 0000000000..778c49e5dc
--- /dev/null
+++ b/tests/sv-comp/valid-memcleanup.prp
@@ -0,0 +1,2 @@
+CHECK( init(main()), LTL(G valid-memcleanup) )
+