Skip to content

Extend and cleanup usability of __CPROVER_{r,w}_ok#4485

Merged
tautschnig merged 3 commits intodiffblue:developfrom
tautschnig:cprover-rw-ok
Apr 10, 2019
Merged

Extend and cleanup usability of __CPROVER_{r,w}_ok#4485
tautschnig merged 3 commits intodiffblue:developfrom
tautschnig:cprover-rw-ok

Commits

Commits on Apr 10, 2019