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