From 89630b80c75759578ce503f1d528072429fb3d29 Mon Sep 17 00:00:00 2001 From: Zafer Esen Date: Thu, 1 Feb 2024 22:12:09 +0100 Subject: [PATCH] Add missing test file. --- .../properties/valid-memcleanup-4-false.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 regression-tests/properties/valid-memcleanup-4-false.yml diff --git a/regression-tests/properties/valid-memcleanup-4-false.yml b/regression-tests/properties/valid-memcleanup-4-false.yml new file mode 100644 index 0000000..d213dc2 --- /dev/null +++ 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