diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/README.md | 9 | ||||
| -rw-r--r-- | tests/local.mk | 3 |
2 files changed, 7 insertions, 5 deletions
diff --git a/tests/README.md b/tests/README.md index 53d1a2bf..aa409a54 100644 --- a/tests/README.md +++ b/tests/README.md @@ -7,11 +7,12 @@ define a number of other macros to: - what skeleton is used # Keywords -The following keywords are used to label tests. Please follow them -and avoid creating synonyms. +The following keywords are used to label tests (with +AT_KEYWORDS([[category]])). Please follow them and avoid creating +synonyms. - action - api.value.type -- c++ +- c++: c++ language - cex: counterexamples. - d: d language - deprec: deprecated features. @@ -23,7 +24,7 @@ and avoid creating synonyms. - %merge - multistart - push -- report +- report: for automaton dumps - %union - variant diff --git a/tests/local.mk b/tests/local.mk index 37c542ad..9896d912 100644 --- a/tests/local.mk +++ b/tests/local.mk @@ -114,7 +114,8 @@ recheck: $(RUN_TESTSUITE_deps) -e 'eof && /^(\d+).*: FAILED/ && print "$$1 "' \ %D%/testsuite.dir/*/testsuite.log) -check-local: $(RUN_TESTSUITE_deps) +.PHONY: check-tests +check-local check-tests: $(RUN_TESTSUITE_deps) $(RUN_TESTSUITE) # Run the test suite on the *installed* tree. |