Remove fixed malloc wrappers from svcomp conf#1592

sim642 merged 1 commit into

mastergoblint/analyzer:masterfrom

svcomp25-no-mallocWrappergoblint/analyzer:svcomp25-no-mallocWrapperCopy head branch name to clipboard