Skip to content

Provide statistics of function-pointer removal#741

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

Commits

Commits on Apr 7, 2017