Home
last modified time | relevance | path

Searched refs:REGRESS_LEVEL (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/
H A DMakefile188 REGRESS_LEVEL=0 macro
202 ALL_OPTIONS= -l $(REGRESS_LEVEL) -vc $(PROGNAME) $(RUN_TESTS_OPTIONS) \
213 $(TOP)/test/bin/test $(REGRESS_LEVEL) 2>&1 \
220 $(TOP)/testc/bin/testc $(REGRESS_LEVEL) 2>&1 \
246 $(MAKE) regress REGRESS_LEVEL=0
248 $(MAKE) regress REGRESS_LEVEL=1 REGRESS_TESTS="$(REGRESS_TESTS1)"
250 $(MAKE) regress REGRESS_LEVEL=2 REGRESS_TESTS="$(REGRESS_TESTS2)"
254 $(MAKE) regress REGRESS_LEVEL=4 REGRESS_TESTS="$(REGRESS_TESTS4)" TIME_LIMIT=0
274 $(MAKE) regressonly REGRESS_LEVEL=0
276 $(MAKE) regressonly REGRESS_LEVEL=1 REGRESS_TESTS="$(REGRESS_TESTS1)"
[all …]