No-assertions should not affect assertions in built-ins#681

Merged

kroening merged 3 commits intodiffblue:masterfrom

peterschrammel:no-assertions-for-user-only

Mar 25, 2017

Commits on Mar 22, 2017

Commits on Mar 23, 2017

Option --no-built-in-assertions
peterschrammel
committed