Catch and log invariant errors when cbmc_invariants_should_throwt is enabled#5225
Merged
jeannielynnmoulton merged 1 commit intodiffblue:developfrom Feb 10, 2020
cbmc_invariants_should_throwt is enabled#5225