Tests to check inconsistent assumptions involving __CPROVER_r_ok#5321

Merged

danpoe merged 2 commits intodiffblue:developfrom

danpoe:tests/pointer-primitives

May 6, 2020

Commits on May 6, 2020

Add regression tests to for inconsistent assumptions involving __CPROVER_r_ok()
danpoe
committed
Add regression test for cbmc crash in flattening
danpoe
committed