Generate-function-bodies: generate a meaningful assertion#6898

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:bugfixes/6393-meaningful-assert

May 31, 2022

Commits on May 31, 2022

Generate-function-bodies: generate a meaningful assertion
tautschnig
committed