Skip to content

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

Merged
kroening merged 1 commit into
diffblue:masterfrom
tautschnig:struct-init-error
Aug 3, 2017
Merged

Array initialization with a non-array is expected to fail#131
kroening merged 1 commit into
diffblue:masterfrom
tautschnig:struct-init-error

Handle array initialization with a non-array gracefully

9740142
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs