Skip to content

goto-gcc removes CPROVER macros for native gcc - #1108

Merged
tautschnig merged 1 commit into
diffblue:developfrom
karkhaz:kk-neu-cprover-remove
Sep 4, 2017
Merged

goto-gcc removes CPROVER macros for native gcc#1108
tautschnig merged 1 commit into
diffblue:developfrom
karkhaz:kk-neu-cprover-remove

Commits

Commits on Sep 4, 2017