Commit 565991d2 authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Andreas Klebinger

dom-lt: Add binary to gitignore. Lower runtime for mode=slow

parent 347e0f00
Pipeline #4298 failed with stage
in 9 seconds
......@@ -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
......
......@@ -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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment