Value sets must not return an empty set for nondet symbols#6557

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:nondet-filteringtautschnig/cbmc:nondet-filteringCopy head branch name to clipboard