Code

Fix nondet sublass init non null#469

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:fix_nondet_sublass_init_non_nullmgudemann/cbmc:fix_nondet_sublass_init_non_nullCopy head branch name to clipboard

Jan 31, 2017

Commits

Commits on Jan 26, 2017

• ignore recursion set if class is subtype

  mgudemann

  committed
  50d161c

  Copy full SHA for 50d161c