From 3e7c4419ac051902b83343e25b123eee3b715059 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 12 Mar 2020 17:32:11 -0500 Subject: [PATCH] Add options for nec regression (#4056) Currently an nec benchmark in regress2 is very slow (57 seconds in production) due to disabling the nec-specific options in 67c730c). This reenables these options for this benchmark. --- test/regress/regress2/arith/prp-13-24.smt2 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/regress/regress2/arith/prp-13-24.smt2 b/test/regress/regress2/arith/prp-13-24.smt2 index b3b8e69b1..321807822 100644 --- a/test/regress/regress2/arith/prp-13-24.smt2 +++ b/test/regress/regress2/arith/prp-13-24.smt2 @@ -1,4 +1,6 @@ (set-logic QF_LIA) +(set-option :ite-simp true) +(set-option :simp-ite-compress true) (set-info :source |http://www.nec-labs.com/~fsoft/bench.html The following changes have been made: The logic is changed to QF_LIA. -- 2.30.2