modify bug fixed

85f4eb8d · Per Lindgren · 57b27340 · 85f4eb8d
Commit 85f4eb8d authored 6 years ago by Per Lindgren
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -127,7 +127,6 @@ where
        F: FnOnce(T) -> T,
    {
        f(self.read());
-        klee::abort();
    }

    /// Reads the symbolic value of the register