Add regression test

smowton · Mar 7, 2018 · 0fd6482 · 0fd6482
1 parent 0ed21ca
commit 0fd6482
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 0 deletions.
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