From a0fede7caca61826f9f82ae8bb60e1dae3c68104 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 2 Sep 2021 12:55:08 -0700 Subject: [PATCH] Disable sygus-inst for regression close to time limit. (#7122) --- test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 | 1 + 1 file changed, 1 insertion(+) diff --git a/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 b/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 index 62babf518..1fa004ef4 100644 --- a/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 +++ b/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 @@ -1,3 +1,4 @@ +; COMMAND-LINE: --no-sygus-inst (set-info :smt-lib-version 2.6) (set-logic NIA) (set-info :status unsat) -- 2.30.2