Add regression test

Matthias Güdemann · Matthias Güdemann · commit 0fd648233cf7 · 2018-03-07T07:55:34.000+01:00
diff --git a/regression/cbmc-java/lambda2/SymStream.class b/regression/cbmc-java/lambda2/SymStream.class
diff --git a/regression/cbmc-java/lambda2/readme.txt b/regression/cbmc-java/lambda2/readme.txt
@@ -0,0 +1 @@
+from https://github.com/symphonyoss/symphony-java-client/
diff --git a/regression/cbmc-java/lambda2/test.desc b/regression/cbmc-java/lambda2/test.desc
@@ -0,0 +1,9 @@
+KNOWNBUG
+SymStream.class
+--verbosity 10 --show-goto-functions
+lambda function reference org/symphonyoss/symphony/clients/model/SymUser\.toSymUser in class \"SymStream\"
+^EXIT=0
+^SIGNAL=0
+--
+--
+lambda functions without "lambda$" prefix aren't recognized currently TG-2691
diff --git a/regression/cbmc-java/lambda2/test_no_crash.desc b/regression/cbmc-java/lambda2/test_no_crash.desc
@@ -0,0 +1,8 @@
+CORE
+SymStream.class
+--verbosity 10 --show-goto-functions
+^EXIT=0
+^SIGNAL=0
+--
+--
+just to test that it doesn't crash in this situation, cf. TG-2684

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+from https://github.com/symphonyoss/symphony-java-client/`