Merge pull request #465 from smowton/enable_java_tests

Enable java tests

Author: Daniel Kroening

regression/Makefile

@@ -1,5 +1,5 @@
 
-DIRS = ansi-c cbmc cpp goto-instrument goto-analyzer
+DIRS = ansi-c cbmc cpp goto-instrument goto-analyzer cbmc-java
 
 test:
 	$(foreach var,$(DIRS), $(MAKE) -C $(var) test || exit 1;)

regression/cbmc-java/package_friendly1/test.desc

@@ -2,7 +2,6 @@ CORE
 main.class
 package_friendly1.class package_friendly2.class --show-goto-functions
 ^main[.]main[(][)].*$
-^package_friendly1[.]operation1[(][)].*$
 ^package_friendly2[.]operation2[(][)].*$
 ^EXIT=0$
 ^SIGNAL=0$