CORE symex-driven-lazy-loading-expected-failure
com/diffblue/regression/Foo.class
--trace --depth 1024 --java-max-vla-length 16 --max-nondet-string-length 20 --string-printable --unwind 10 --function "com.diffblue.regression.Foo.foo" --java-unwind-enum-static
assertion at file com/diffblue/regression/Foo.java line 8 .*: FAILURE
assertion at file com/diffblue/regression/Foo.java line 11 .*: FAILURE
assertion at file com/diffblue/regression/Foo.java line 14 .*: FAILURE
assertion at file com/diffblue/regression/Foo.java line 17 .*: FAILURE
^EXIT=10$
^SIGNAL=0$
--
