Skip to content

Commit ab066ea

Browse files
committed
Enable Java regression tests
The primary `make test` goal now also runs the cbmc-java test subdirectory.
1 parent deebd01 commit ab066ea

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

regression/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11

2-
DIRS = ansi-c cbmc cpp goto-instrument goto-analyzer
2+
DIRS = ansi-c cbmc cpp goto-instrument goto-analyzer cbmc-java
33

44
test:
55
$(foreach var,$(DIRS), $(MAKE) -C $(var) test || exit 1;)

0 commit comments

Comments
 (0)