1 SUBDIRS = unit system regress .
5 .PHONY: units systemtests regress regress0 regress1 regress2 regress3
6 units systemtests regress regress0 regress1 regress2 regress3:
8 for dir in $(SUBDIRS); do \
9 test $$dir = . || (cd $$dir && $(MAKE) $(AM_MAKEFLAGS) $@); \
13 # synonyms for "check" in this directory
18 red=; grn=; lgn=; blu=; mag=; std=; \
19 test "X$(AM_COLOR_TESTS)" != Xno \
20 && test "X$$TERM" != Xdumb \
21 && { test "X$(AM_COLOR_TESTS)" = Xalways || test -t 1 2>/dev/null; } \
35 regress/regress0/arith \
36 regress/regress0/arith/integers \
38 regress/regress0/uflra \
39 regress/regress0/uflia \
41 regress/regress0/bv/core \
42 regress/regress0/arrays \
43 regress/regress0/aufbv \
44 regress/regress0/auflia \
45 regress/regress0/datatypes \
46 regress/regress0/quantifiers \
47 regress/regress0/rewriterules \
48 regress/regress0/lemmas \
49 regress/regress0/push-pop \
50 regress/regress0/push-pop/arith \
51 regress/regress0/push-pop/boolean \
52 regress/regress0/precedence \
53 regress/regress0/preprocess \
54 regress/regress0/tptp \
55 regress/regress0/unconstrained \
56 regress/regress0/decision \
57 regress/regress0/fmf \
58 regress/regress0/strings \
59 regress/regress0/sets \
60 regress/regress0/parser \
61 regress/regress0/sygus \
63 regress/regress1/arith \
67 check-recursive: check-pre
70 @rm -f $(subdirs_to_check:=/test-suite.log)
73 HANDLE_UNIT_TEST_SUMMARY = \
74 if test -s "unit/test-suite.log"; then :; else \
75 echo "$${red}Unit tests did not run; maybe there were compilation problems ?$$std"; \
78 HANDLE_UNIT_TEST_SUMMARY = \
79 echo "$${mag}Unit tests not supported, since CxxTest wasn't found$$std"; \
80 rm -f "unit/test-suite.log"
84 # automake 1.11 version
87 echo $${blu}=============================== TESTING SUMMARY =============================$$std; \
88 $(HANDLE_UNIT_TEST_SUMMARY); \
89 if test -s "system/test-suite.log"; then :; else \
90 echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
92 for dir in $(subdirs_to_check); do \
93 log=$$dir/test-suite.log; \
94 if test -s "$$log"; then \
95 status="`head -n 5 $$log | tail -1`"; \
96 if echo "$$status" | grep -q failed; then \
97 echo "$$red$$status"; \
98 echo " @abs_builddir@/$$log$$std"; \
100 printf "$$grn%-30s in $$dir$$std\\n" "$$status"; \
104 echo $${blu}=============================== TESTING SUMMARY =============================$$std
106 # automake 1.12 version
108 @$(am__tty_colors); \
109 echo $${blu}=============================== TESTING SUMMARY =============================$$std; \
110 $(HANDLE_UNIT_TEST_SUMMARY); \
111 if test -s "system/test-suite.log"; then :; else \
112 echo "$${red}System tests did not run; maybe there were compilation problems ?$$std"; \
114 for dir in $(subdirs_to_check); do \
115 log=$$dir/test-suite.log; \
116 if test -s "$$log"; then \
117 status="`head -n 11 $$log | tail -7`"; \
118 nicestatus="`echo $$status | sed 's/# [A-Z]*: 0 *//g;s/# \([A-Z]*\): \([0-9]*\)/\2 \1,/g;s/, *$$//;'`"; \
119 if echo "$$status" | grep -q '# FAIL: 0' && \
120 echo "$$status" | grep -q '# XPASS: 0' && \
121 echo "$$status" | grep -q '# ERROR: 0' && \
122 echo "$$status" | grep -q '# SKIP: 0'; then \
123 printf "$$grn%-30s in $$dir$$std\\n" "$$nicestatus"; \
125 echo "$$red$$nicestatus"; \
126 echo " @abs_builddir@/$$log$$std"; \
130 echo $${blu}=============================== TESTING SUMMARY =============================$$std