DFCC instrumentation: skip unused functions#8628

Open

tautschnig wants to merge 2 commits intodiffblue:developfrom

tautschnig:do-not-instrument-unused-functions

Commits on Apr 16, 2025

DFCC instrumentation: skip unused functions
tautschnig
committed

Commits on Apr 28, 2025

DFCC: generate assert(0); assume(0); function bodies as needed
tautschnig
committed