Fix allow-null initialization logic for class models - #2346

Fix allow-null initialization logic for class models#2346

peterschrammel merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

peterschrammel:fix-class-models-nondetpeterschrammel/cbmc:fix-class-models-nondetCopy head branch name to clipboard