CORE
StaticCharMethods05.class
--max-nondet-string-length 1000
^EXIT=10$
^SIGNAL=0$
^\[.*assertion\.1\] .* line 12 .* FAILURE$
^\[.*assertion\.2\] .* line 22 .* FAILURE$
^VERIFICATION FAILED$
--
^warning: ignoring
