add BitSignal::from_u128_padded (#46)

ucb-substrate · Oct 7, 2024 · ad168b2 · ad168b2
1 parent 5c16cf5
commit ad168b2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/substrate/src/verification/simulation/bits.rs b/substrate/src/verification/simulation/bits.rs
@@ -49,8 +49,13 @@ impl BitSignal {
         Self { bits }
     }
 
+    #[inline]
     pub fn from_u128(mut value: u128, width: usize) -> Self {
         assert!(width <= 128);
+        Self::from_u128_padded(value, width)
+    }
+
+    pub fn from_u128_padded(mut value: u128, width: usize) -> Self {
         let mut bits = BitVec::with_capacity(width);
         for _ in 0..width {
             bits.push(value & 1 != 0);