Skip to content

Memcleanup partof memsafety

Dirk Beyer requested to merge memcleanup-partof-memsafety into master

Integrate property valid-memcleanup into valid-mamsafety, as suggested in the BenchExec implementation [https://github.com/sosy-lab/benchexec/pull/330]

Merge request reports