CORE
test_char_array.class
--verbosity 10 --max-nondet-string-length 1000 --function test_char_array.main
^EXIT=10$
^SIGNAL=0$
.*assertion.* test_char_array.java line 7 .* SUCCESS$
.*assertion.* test_char_array.java line 21 .* SUCCESS$
.*assertion.* test_char_array.java line 22 .* SUCCESS$
.*assertion.* test_char_array.java line 23 .* SUCCESS$
.*assertion.* test_char_array.java line 25 .* FAILURE$
.*assertion.* test_char_array.java line 27 .* FAILURE$
.*assertion.* test_char_array.java line 29 .* FAILURE$
^VERIFICATION FAILED$
--
non equal types
