From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 4 Jul 2010 18:34:02 +0000 (+0000)
Subject: assigning benchmark statuses
X-Git-Tag: cvc5-1.0.0~8950
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0679a64a1c1017d8ef0e26e40a476f2559e6bba3;p=cvc5.git

assigning benchmark statuses
---

diff --git a/test/regress/regress1/fuzz_1.smt b/test/regress/regress1/fuzz_1.smt
index 1e6d48ffb..22cdd2307 100644
--- a/test/regress/regress1/fuzz_1.smt
+++ b/test/regress/regress1/fuzz_1.smt
@@ -1,6 +1,6 @@
 (benchmark fuzzsmt
 :logic QF_LRA
-:status unknown
+:status unsat
 :extrafuns ((v0 Real))
 :formula
 (let (?e1 11)
diff --git a/test/regress/regress1/fuzz_2.smt b/test/regress/regress1/fuzz_2.smt
index 29d88f340..1dc2f619d 100644
--- a/test/regress/regress1/fuzz_2.smt
+++ b/test/regress/regress1/fuzz_2.smt
@@ -1,6 +1,6 @@
 (benchmark fuzzsmt
 :logic QF_LRA
-:status unknown
+:status sat
 :extrafuns ((v0 Real))
 :extrafuns ((v1 Real))
 :extrafuns ((v2 Real))