Skip to content

Replace the goto_check indirection by direct use of goto_check_c [blocks: #6688]#6716

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:cleanup/goto_check_c
May 10, 2022

Commits

Commits on Mar 9, 2022