use assertion in test regenerate-entry-function#2669

Merged

kroening merged 1 commit intodevelopfrom

spurious-cover-test

Aug 3, 2018

Commits on Aug 3, 2018

cbmc test no longer uses --cover
Daniel Kroening
committed