Skip to content

Add a __CPROVER_postcondition builtin#4921

Merged
karkhaz merged 4 commits intodiffblue:developfrom
angelhof:cprover-postcondition
Aug 11, 2019

Commits

Commits on Aug 7, 2019

Commits on Aug 9, 2019