From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 13:56:39 +0000 (-0400)
Subject: Test portfolio with --no-wait-to-join.
X-Git-Tag: cvc5-1.0.0~6700^2~14
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=21178e5599464d9d0569ff7989fad9517dd92419;p=cvc5.git

Test portfolio with --no-wait-to-join.
---

diff --git a/.travis.yml b/.travis.yml
index 18204d3c6..082a746c5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -43,7 +43,7 @@ script:
      make -j2 check CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/TEST FAILED";
    }
    makeCheckPortfolio() {
-     make check BINARY=pcvc4 CVC4_REGRESSION_ARGS='--fallback-sequential --no-early-exit' RUN_REGRESSION_ARGS= ||
+     make check BINARY=pcvc4 CVC4_REGRESSION_ARGS='--fallback-sequential --no-wait-to-join --no-early-exit' RUN_REGRESSION_ARGS= ||
        error "PORTFOLIO TEST FAILED";
    }
    makeExamples() {
diff --git a/Makefile b/Makefile
index f0541bfae..50d85d37a 100644
--- a/Makefile
+++ b/Makefile
@@ -161,7 +161,7 @@ submission-parallel:
 	  ../../configure competition --disable-shared --enable-static-binary --with-gmp --with-portfolio --with-glpk --with-abc --without-readline --enable-gpl; \
 	  $(MAKE) V=1; \
 	  strip src/main/pcvc4; \
-	  $(MAKE) check BINARY=pcvc4 CVC4_REGRESSION_ARGS=--fallback-sequential || true )
+	  $(MAKE) check BINARY=pcvc4 CVC4_REGRESSION_ARGS='--fallback-sequential --no-wait-to-join' || true )
 	# package the parallel track zipfile
 	mkdir -p cvc4-smtcomp-parallel-$(YEAR)/bin
 	cp -p builds-smtcomp/parallel/src/main/pcvc4 cvc4-smtcomp-parallel-$(YEAR)/bin/pcvc4