Closed cschreib closed 1 year ago
This PR does the following:
full
SNITCH_DECOMPOSE_SUCCESSFUL_ASSERTIONS
SKIP_CHECK()
Merging #87 (41ec621) into main (1eebf1d) will increase coverage by 0.47%. The diff coverage is 97.67%.
0.47%
97.67%
This PR does the following:
full
, for #86.SNITCH_DECOMPOSE_SUCCESSFUL_ASSERTIONS
to turn on expression decomposition for successful assertions (default is off, as this is costly).SKIP_CHECK()
had been partially added in a previous PR, but not exposed fully (docs and shorthand macro form). This is now fixed.