Skip to content

Configure built-in-assertions for all callers of goto_check#833

Merged
kroening merged 1 commit intodiffblue:masterfrom
tautschnig:fix-built-in-assertions
Apr 19, 2017

Commits

Commits on Apr 15, 2017