Option for the valid-memcleanup property#63

tautschnig merged 1 commit intodiffblue:masterdiffblue/cprover-sv-comp:masterfrom

viktormalik:memcleanup-propertyviktormalik/cprover-sv-comp:memcleanup-propertyCopy head branch name to clipboard