Skip to content

Fix cbmc crash on pointer checks of void pointer dereferences#5427

Merged
danpoe merged 1 commit intodiffblue:developfrom
danpoe:fixes/pointer-validity-check-void-dereference
Jul 21, 2020

Commits

Commits on Jul 21, 2020