Array initialization with a non-array is expected to fail#131
Merged
kroening merged 1 commit intodiffblue:masterfrom Aug 3, 2017
Merged
Array initialization with a non-array is expected to fail#131kroening merged 1 commit intodiffblue:masterfrom
kroening merged 1 commit intodiffblue:masterfrom
