diff options
Diffstat (limited to 'test/regress/regress0/bv/div_mod.cvc')
| -rw-r--r-- | test/regress/regress0/bv/div_mod.cvc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/regress/regress0/bv/div_mod.cvc b/test/regress/regress0/bv/div_mod.cvc deleted file mode 100644 index 3f31bdd70..000000000 --- a/test/regress/regress0/bv/div_mod.cvc +++ /dev/null @@ -1,10 +0,0 @@ -% EXPECT: entailed - -x : BITVECTOR(4); - -QUERY -( BVUDIV(x, 0bin0000) = 0bin1111 ) AND -( BVUREM(x, 0bin0000) = x ) AND -( BVSDIV(x, 0bin0000) = 0bin1111 OR BVSDIV(x, 0bin0000) = 0bin0001 ) AND -( BVSREM(x, 0bin0000) = x ) AND -( BVSMOD(x, 0bin0000) = x ); |