FUTURE
test.class
--verbosity 10 --max-nondet-string-length 1000 --function test.check
^EXIT=0$
^SIGNAL=0$
^VERIFICATION SUCCESSFUL$
--
non equal types
--
This test currently fails because we do not handle the case where the argument
's' is null. This should be handled in the String model.
The issue number for that is: diffblue/test-gen#500
