Skip to content

Commit 44d1ee4

Browse files
Thomas Kileythk123
Thomas Kiley
authored and
thk123
committed
Include hidden tests when counting tests
1 parent 9fcd171 commit 44d1ee4

File tree

2 files changed

+6
-4
lines changed

2 files changed

+6
-4
lines changed

jbmc/unit/Makefile

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -144,8 +144,9 @@ all: $(CATCH_TEST)
144144
clean: java-testing-utils-clean
145145

146146
test: $(CATCH_TEST)
147-
if ! ./$(CATCH_TEST) -l | grep -q "^$(N_CATCH_TESTS) test cases" ; then \
148-
./$(CATCH_TEST) -l ; fi
147+
# Include hidden tests by specifying "*,[.]" for tests to count
148+
if ! ./$(CATCH_TEST) "*,[.]" -l | grep -q "^$(N_CATCH_TESTS) matching test cases" ; then \
149+
./$(CATCH_TEST) "*,[.]" -l ; fi
149150
./$(CATCH_TEST) ${TAGS}
150151

151152

unit/Makefile

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -204,8 +204,9 @@ all: $(CATCH_TEST)
204204
clean: testing-utils-clean
205205

206206
test: $(CATCH_TEST)
207-
if ! ./$(CATCH_TEST) -l | grep -q "^$(N_CATCH_TESTS) test cases" ; then \
208-
./$(CATCH_TEST) -l ; fi
207+
# Include hidden tests by specifying "*,[.]" for tests to count
208+
if ! ./$(CATCH_TEST) "*,[.]" -l | grep -q "^$(N_CATCH_TESTS) matching test cases" ; then \
209+
./$(CATCH_TEST) "*,[.]" -l ; fi
209210
./$(CATCH_TEST) ${TAGS}
210211

211212

0 commit comments

Comments
 (0)