Array initialization with a non-array is expected to fail#131

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:struct-init-error

Aug 3, 2017

Commits on Jul 19, 2017

Handle array initialization with a non-array gracefully
tautschnig
committed