Skip to content

symex_allocate: only use alloc_size when set#4242

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:allocate-fix
Feb 21, 2019

Commits

Commits on Feb 21, 2019