From 57b273405d8168fb4cfe4c5b05de46beacbbf5ac Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Tue, 25 Dec 2018 15:09:00 +0100
Subject: [PATCH] modify bug fixed
---
src/lib.rs | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/lib.rs b/src/lib.rs
index e1a5513..a3eea4b 100644
--- a/src/lib.rs
+++ b/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
--
GitLab