[depends: #1357] goto-gcc removes CPROVER macros for native gcc#1343
Closed
tautschnig wants to merge 1 commit intodiffblue:masterfrom
Closed
[depends: #1357] goto-gcc removes CPROVER macros for native gcc#1343tautschnig wants to merge 1 commit intodiffblue:masterfrom
tautschnig wants to merge 1 commit intodiffblue:masterfrom
