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

goto-gcc removes CPROVER macros for native gcc

ede380f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs