From ec7edeb82db8e85d0145c9203e4e408b382a5bc8 Mon Sep 17 00:00:00 2001
From: Yoni Zohar <yoni206@gmail.com>
Date: Tue, 4 Jun 2024 13:03:10 +0300
Subject: [PATCH] missing file

---
 test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2

diff --git a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2
new file mode 100644
index 00000000000..e22a1ac5edd
--- /dev/null
+++ b/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2
@@ -0,0 +1,6 @@
+; COMMAND: --model-based-arith-bv-conv
+; EXPECT: unsat
+(set-logic ALL)
+(declare-fun x () (_ BitVec 4))
+(assert (< (bv2nat x) 0))
+(check-sat)