CORE
NondetArrayPrimitive.class
--function NondetArrayPrimitive.floatArray --max-nondet-array-length 2000 --unwind 1
^VERIFICATION FAILED$
^EXIT=10$
^SIGNAL=0$
line 13 assertion.*: FAILURE
--
Unwinding loop __CPROVER__start.0 iteration 2
^warning: ignoring
--
Check no unwind needed to reach non-primitive array cell
