modify bug fixed

src/lib.rs

@@ -77,6 +77,7 @@ pub struct RW<T>
 where
     T: Copy,
 {
+    #[allow(unused)]
     register: VolatileCell<T>,
 }
 
@@ -125,7 +126,8 @@ where
     where
         F: FnOnce(T) -> T,
     {
-        f(self.register.read());
+        f(self.read());
+        klee::abort();
     }
 
     /// Reads the symbolic value of the register