projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 13fe591)
Add 'REQUIRES: poly' to regression. (#6966)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 2 Aug 2021 23:28:53 +0000 (16:28 -0700)
committerGitHub <noreply@github.com>
Mon, 2 Aug 2021 23:28:53 +0000 (23:28 +0000)
This regression times out without libpoly.

test/regress/regress1/nl/factor_agg_s.smt2 patch | blob | history

diff --git a/test/regress/regress1/nl/factor_agg_s.smt2 b/test/regress/regress1/nl/factor_agg_s.smt2
index 1f6f6ea4ecee40497e46ff5baab9988cc39e5967..fd12d45150f2f646c7c57ced1c2e329ac668b321 100644 (file)
--- a/test/regress/regress1/nl/factor_agg_s.smt2
+++ b/test/regress/regress1/nl/factor_agg_s.smt2
@@ -1,4 +1,5 @@
 ; COMMAND-LINE: --decision=justification
+; REQUIRES: poly
 ; EXPECT: sat
 (set-logic QF_NRA)
 (set-info :status sat)