missing file

yoni206 · Jun 4, 2024 · ec7edeb · ec7edeb
1 parent d24b585
commit ec7edeb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/regress/cli/regress0/bv2nat_lemma_ranges_1.smt2 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)