From 565991d2a628669400de2795b520aaf5910e7940 Mon Sep 17 00:00:00 2001 From: "klebinger.andreas@gmx.at" <klebinger.andreas@gmx.at> Date: Sat, 23 Mar 2019 20:47:36 +0100 Subject: [PATCH] dom-lt: Add binary to gitignore. Lower runtime for mode=slow --- .gitignore | 1 + spectral/dom-lt/Makefile | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index d884c447..f89d3b70 100644 --- a/.gitignore +++ b/.gitignore @@ -109,6 +109,7 @@ spectral/constraints/constraints spectral/cryptarithm1/cryptarithm1 spectral/cryptarithm2/cryptarithm2 spectral/cse/cse +spectral/dom-lt/dom-lt spectral/eliza/eliza spectral/exact-reals/exact-reals spectral/expert/expert diff --git a/spectral/dom-lt/Makefile b/spectral/dom-lt/Makefile index ac93a610..bf127ab3 100644 --- a/spectral/dom-lt/Makefile +++ b/spectral/dom-lt/Makefile @@ -11,7 +11,7 @@ include $(TOP)/mk/target.mk # and to shift compute time away from read/graph creation. FAST_OPTS = ghc-examples.in 50 NORM_OPTS = ghc-examples.in 400 -SLOW_OPTS = ghc-examples.in 3000 +SLOW_OPTS = ghc-examples.in 1800 # We require containers. HC_OPTS += -package containers -- GitLab