CORE
Test.class
--max-nondet-string-length 100 --function Test.stringDet --depth 10000  --verbosity 10
^EXIT=10$
^SIGNAL=0$
^VERIFICATION FAILED$
--
check_SAT: got SAT but the model is not correct
--
Using the string dependences information to compute the model, refinement
should not be needed when the execution is deterministic.
