Add missing test file.

uuverifiers · Feb 1, 2024 · 89630b8 · 89630b8
1 parent 97c1a48
commit 89630b8
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/regression-tests/properties/valid-memcleanup-4-false.yml b/regression-tests/properties/valid-memcleanup-4-false.yml
@@ -0,0 +1,11 @@
+format_version: '2.0'
+
+input_files: 'valid-memcleanup-4-false.c'
+
+properties:
+  - property_file: ../properties/valid-memcleanup.prp
+    expected_verdict: false
+
+options:
+  language: C
+  data_model: ILP32