Add a test

bclement-ocp · Jul 19, 2024 · 8633358 · 8633358
1 parent 7ce7868
commit 8633358
Show file tree

Hide file tree

Showing 3 changed files with 257 additions and 0 deletions.
diff --git a/tests/dune.inc b/tests/dune.inc
diff --git a/tests/issues/1170.expected b/tests/issues/1170.expected
@@ -0,0 +1,2 @@
+
+unknown
diff --git a/tests/issues/1170.smt2 b/tests/issues/1170.smt2
@@ -0,0 +1,6 @@
+(set-logic QF_BV)
+(declare-const A (_ BitVec 2))
+(declare-const B (_ BitVec 1))
+(declare-const C (_ BitVec 3))
+(assert (= (bvmul (_ bv3 4) (concat A (concat #b0 B))) (concat C #b1)))
+(check-sat)