cbmc: avoid an empty message during result reporting#2623

Merged

kroening merged 1 commit intodevelopfrom

cbmc-empty-message

Jul 27, 2018

Commits on Jul 26, 2018

cbmc: avoid an empty message during result reporting
Daniel Kroening
committed