enable --validate-goto-model for all cbmc regressions#3661

Closed

kroening wants to merge 1 commit intodevelopfrom

enable-validate-goto-model

Commits on Jan 17, 2019

enable --validate-goto-model for all cbmc regressions
Daniel Kroening
committed