expr: remove redundant mask function

cucapra · Dec 4, 2024 · 7a63180 · 7a63180
1 parent d16b3f9
commit 7a63180
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/patronus/src/btor2/parse.rs b/patronus/src/btor2/parse.rs
@@ -350,7 +350,7 @@ impl<'a> Parser<'a> {
                     (e, 4)
                 } else {
                     // redand is true iff all bits are one
-                    let mask = self.ctx.mask(width);
+                    let mask = self.ctx.ones(width);
                     (self.ctx.bv_equal(e, mask), 4)
                 }
             }

diff --git a/patronus/src/expr/context.rs b/patronus/src/expr/context.rs
@@ -203,9 +203,6 @@ impl Context {
         self.fals_expr_ref
     }
 
-    pub fn mask(&mut self, width: WidthInt) -> ExprRef {
-        self.bv_lit(&BitVecValue::ones(width))
-    }
     pub fn one(&mut self, width: WidthInt) -> ExprRef {
         self.bv_lit(&BitVecValue::from_u64(1, width))
     }
@@ -404,9 +401,6 @@ impl<'a> Builder<'a> {
         self.ctx.borrow_mut().zero_array(tpe)
     }
 
-    pub fn mask(&self, width: WidthInt) -> ExprRef {
-        self.ctx.borrow_mut().mask(width)
-    }
     pub fn one(&self, width: WidthInt) -> ExprRef {
         self.ctx.borrow_mut().one(width)
     }