Merge pull request #63 from viktormalik/memcleanup-property

tautschnig · web-flow · commit 2c1d56d9065d · 2022-11-21T14:10:31.000+01:00
Option for the valid-memcleanup property
diff --git 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()
 {

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ OPTIONS["unreach_call"]=""`
`10`	`10`	`OPTIONS["termination"]=""`
`11`	`11`	`OPTIONS["overflow"]="--signed-overflow-check --no-assertions"`
`12`	`12`	`OPTIONS["memsafety"]="--pointer-check --memory-leak-check --bounds-check --no-assertions"`
`13`		`-OPTIONS["memcleanup"]="--pointer-check --memory-leak-check --bounds-check --no-assertions"`
	`13`	`+OPTIONS["memcleanup"]="--pointer-check --memory-leak-check --memory-cleanup-check --bounds-check --no-assertions"`
`14`	`14`
`15`	`15`	`parse_property_file()`
`16`	`16`	`{`