Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/
H A DMakefile177 .PHONY: regressonly regressonly0 regressonly1 regressonly2 regressonly3 regressonly4
256 regressonly: build target
274 $(MAKE) regressonly REGRESS_LEVEL=0
276 $(MAKE) regressonly REGRESS_LEVEL=1 REGRESS_TESTS="$(REGRESS_TESTS1)"
278 $(MAKE) regressonly REGRESS_LEVEL=2 REGRESS_TESTS="$(REGRESS_TESTS2)"
280 $(MAKE) regressonly REGRESS_LEVEL=3 REGRESS_TESTS="$(REGRESS_TESTS3)" TIME_LIMIT=1500
282 $(MAKE) regressonly REGRESS_LEVEL=4 REGRESS_TESTS="$(REGRESS_TESTS4)" TIME_LIMIT=0