remove mirai macros

tools/wallet/src/core/key_factory.rs

@@ -19,7 +19,6 @@ use crate::core::mnemonic::Mnemonic;
 use anyhow::{anyhow, Result};
 use byteorder::{ByteOrder, LittleEndian};
 use hmac::Hmac;
-use mirai_annotations::*;
 use pbkdf2::pbkdf2;
 use serde::{Deserialize, Serialize};
 use std::ops::AddAssign;
@@ -63,8 +62,8 @@ impl ChildNumber {
 
 impl std::ops::AddAssign for ChildNumber {
     fn add_assign(&mut self, other: Self) {
-        assume!(self.0 <= u64::MAX / 2); // invariant
-        assume!(other.0 <= u64::MAX / 2); // invariant
+        // assume!(self.0 <= u64::MAX / 2); // invariant
+        // assume!(other.0 <= u64::MAX / 2); // invariant
         *self = Self(self.0 + other.0)
     }
 }

tools/wallet/src/core/mnemonic.rs

@@ -9,7 +9,7 @@
 use anyhow::{bail, Result};
 #[cfg(test)]
 use diem_temppath::TempPath;
-use mirai_annotations::*;
+// use mirai_annotations::*; // TODO: enable mirai
 #[cfg(test)]
 use rand::rngs::OsRng;
 #[cfg(test)]
@@ -171,7 +171,7 @@ struct U11BitWriter {
 impl U11BitWriter {
     /// Create a new `BitWriter` around the given writer.
     fn new(mnemonic_len: usize) -> U11BitWriter {
-        precondition!(mnemonic_len <= 24);
+        // precondition!(mnemonic_len <= 24);
         U11BitWriter {
             bytes: Vec::with_capacity(11 * mnemonic_len / 8 + 1),
             unused: 8,
@@ -201,7 +201,8 @@ impl U11BitWriter {
             nbits_remaining -= 8;
             self.bytes.push((value >> nbits_remaining) as u8);
         }
-        verify!(nbits_remaining < 8);
+
+        // verify!(nbits_remaining < 8);
 
         // Put the remaining bits in the buffer.
         if nbits_remaining > 0 {

tools/wallet/src/core/mod.rs

@@ -1,7 +1,6 @@
 //! 0L key scheme
 
 #![forbid(unsafe_code)]
-
 pub mod key_factory;
 pub mod legacy_scheme;
 pub mod mnemonic;