CORE
test_contains.class
--verbosity 10 --max-nondet-string-length 100 --function test_contains.main
^EXIT=0$
^SIGNAL=0$
^\[.*assertion.1\].* line 8.* SUCCESS$
^\[.*assertion.2\].* line 9.* SUCCESS$
^VERIFICATION SUCCESSFUL$
--
non equal types
--
Issue: diffblue/test-gen#201
