Skip to content

Commit f494674

Browse files
thk123Matthias Güdemann
thk123
authored and
Matthias Güdemann
committed
Use function that actually contains the lambdas
1 parent 8615500 commit f494674

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎regression/cbmc-java/lambda2/test_no_crash_ecj.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
StaticMethodRef.class
3-
--function StaticMethodRef.test2
3+
--function StaticMethodRef.Smr
44
^EXIT=0
55
^SIGNAL=0
66
--

0 commit comments

Comments
 (0)