do not attempt to havoc void-typed objects; fixes issue #2663#2735

Closed

kroening wants to merge 1 commit intodevelopfrom

fix-havoc-params

Commits on Sep 21, 2018

do not attempt to havoc void-typed objects; fixes issue #2663
Daniel Kroening
committed