From 85af89b3e17da2b20539d218dd365b8ead83a567 Mon Sep 17 00:00:00 2001 From: Viktor Malik Date: Fri, 26 Jun 2020 13:01:09 +0200 Subject: [PATCH] Separate option for the memcleanup property The option is --memory-cleanup-check. There must be a separate option because memory leaks for programs containing an error are handled differently for the memsafety and the memcleanup properties. --- tool-wrapper.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool-wrapper.inc b/tool-wrapper.inc index addc406..b514376 100755 --- a/tool-wrapper.inc +++ b/tool-wrapper.inc @@ -10,7 +10,7 @@ OPTIONS["unreach_call"]="" OPTIONS["termination"]="" OPTIONS["overflow"]="--signed-overflow-check --no-assertions" OPTIONS["memsafety"]="--pointer-check --memory-leak-check --bounds-check --no-assertions" -OPTIONS["memcleanup"]="--pointer-check --memory-leak-check --bounds-check --no-assertions" +OPTIONS["memcleanup"]="--pointer-check --memory-leak-check --memory-cleanup-check --bounds-check --no-assertions" parse_property_file() {