Adjusted test to pass

thk123 · Matthias Güdemann · commit d8edf4f9466c · 2018-03-13T13:07:48.000+01:00
We expect verification failure as currently we don't support lambdas so
there are lots of NPEs in the test code
diff --git a/regression/cbmc-java/lambda2/test_no_crash_ecj.desc b/regression/cbmc-java/lambda2/test_no_crash_ecj.desc
@@ -1,7 +1,9 @@
 CORE
 StaticMethodRef.class
 --function StaticMethodRef.Smr
-^EXIT=0
+VERIFICATION FAILED
+EXIT=10
+SIGNAL=0
 ^SIGNAL=0
 --
 --
