From d5a876a65199dff013f3c14f8792df86b05258cb Mon Sep 17 00:00:00 2001
From: CarlOsterberg <carl.vilhelms.osterberg@gmail.com>
Date: Tue, 22 Mar 2022 11:10:38 +0100
Subject: [PATCH] voltile things?
---
src/lib_klee_replay.rs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index be1b000..3120e09 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -8,9 +8,9 @@ pub fn klee_assume(_cond: bool) {}
#[inline(always)]
pub fn klee_make_symbolic<T>(t: &mut T) {
// force LLVM to consider data to be mutated
- //unsafe {
+ unsafe {
core::arch::asm!("bkpt #2")
- //}
+ }
}
/// terminates path
--
GitLab