Skip to content

Provide statistics of function-pointer removal#741

Merged
kroening merged 1 commit intodiffblue:masterfrom
tautschnig:fct-ptr-stats
Apr 8, 2017
Merged

Provide statistics of function-pointer removal#741
kroening merged 1 commit intodiffblue:masterfrom
tautschnig:fct-ptr-stats

Commits

Commits on Apr 7, 2017