Regression tests: groovyc lvts

cesaro · cesaro · commit a1af44f102ab · 2017-06-30T15:55:46.000+01:00
diff --git a/regression/cbmc-java/lvt-groovy/DetectSplitPackagesTask.class b/regression/cbmc-java/lvt-groovy/DetectSplitPackagesTask.class
diff --git a/regression/cbmc-java/lvt-groovy/test.desc b/regression/cbmc-java/lvt-groovy/test.desc
@@ -0,0 +1,7 @@
+CORE
+DetectSplitPackagesTask.class
+--show-symbol-table
+^EXIT=0$
+^SIGNAL=0$
+--
+--
diff --git a/regression/cbmc-java/lvt-unexpected/test.desc b/regression/cbmc-java/lvt-unexpected/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 unexpected.class
 --verbosity 10 --show-symbol-table
 ^EXIT=0$
