CORE
NondetArrayPrimitive.class
--function NondetArrayPrimitive.intArrayMulti --max-nondet-array-length 51 --unwind 4
^VERIFICATION FAILED$
^EXIT=10$
^SIGNAL=0$
line 65 assertion.*: FAILURE
--
^warning: ignoring
--
Check inner most array of multi-dimensional array is reachable independently of
--unwind value.
