Another regression test

SRI-CSL · Oct 19, 2020 · 426cdc6 · 426cdc6
1 parent bbe225f
commit 426cdc6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/tests/regress/wd/issue308.smt2 b/tests/regress/wd/issue308.smt2
@@ -0,0 +1,5 @@
+(set-logic QF_BV)
+(declare-const bv_36-1 (_ BitVec 36))
+(assert (bvugt (bvsrem (_ bv0 67) (bvsdiv (concat (_ bv0 31) bv_36-1) (concat (_ bv0 31) bv_36-1))) (_ bv0 67)))
+(check-sat)
+
diff --git a/tests/regress/wd/issue308.smt2.gold b/tests/regress/wd/issue308.smt2.gold
@@ -0,0 +1 @@
+unsat