Avoid confusing "__CPROVER_{r,w,rw}_ok is not declared" warning#7560

Merged

kroening merged 2 commits intodiffblue:developfrom

tautschnig:bugfixes/r_w_ok-decl

Feb 24, 2023

Commits on Feb 23, 2023

Avoid confusing "__CPROVER_{r,w,rw}_ok is not declared" warning
tautschnig
committed
Clean-up and test __CPROVER_{r,w,rw}_ok type checking failure cases
tautschnig
committed