From 11330a2356f26651715107711a3baf4f2bcfe9a2 Mon Sep 17 00:00:00 2001 From: Yoni Zohar Date: Thu, 6 Jun 2024 12:11:19 +0300 Subject: [PATCH] fix bm --- test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 index e422951b90f..f2b4349aa00 100644 --- a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 +++ b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 @@ -1,4 +1,4 @@ -; COMMAND: --model-based-arith-bv-conv +; COMMAND-LINE: --model-based-arith-bv-conv ; EXPECT: unsat (set-logic ALL) (declare-fun x () (_ BitVec 4000))