diff --git a/regression/Makefile b/regression/Makefile index e8a0f506983..1243ec9a468 100644 --- a/regression/Makefile +++ b/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;) diff --git a/regression/cbmc-java/package_friendly1/test.desc b/regression/cbmc-java/package_friendly1/test.desc index 4559f083646..108ea5defb1 100644 --- a/regression/cbmc-java/package_friendly1/test.desc +++ b/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$