diff --git a/regression/cbmc-java/lambda2/test_no_crash_ecj.desc b/regression/cbmc-java/lambda2/test_no_crash_ecj.desc index 4033a1aff4d..266c19bea58 100644 --- a/regression/cbmc-java/lambda2/test_no_crash_ecj.desc +++ b/regression/cbmc-java/lambda2/test_no_crash_ecj.desc @@ -1,6 +1,6 @@ CORE StaticMethodRef.class ---function StaticMethodRef.test2 +--function StaticMethodRef.Smr ^EXIT=0 ^SIGNAL=0 --