Skip to content

Take __CPROVER_allocated_memory regions into account for --bounds-check#4256

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:allocated-bounds
Feb 22, 2019

Commits

Commits on Feb 22, 2019