Skip to content

Remove ID_C_bounds_check special-case in goto_check_ct#6684

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:cleanup/pragma-instead-of-C_bounds_check
Feb 28, 2022

Commits

Commits on Feb 28, 2022