Skip to content
Snippets Groups Projects
Commit ace148f4 authored by Carl Österberg's avatar Carl Österberg
Browse files

change from llvm_asm! to asm!

parent 66c894c5
No related branches found
No related tags found
No related merge requests found
...@@ -9,7 +9,7 @@ pub fn klee_assume(_cond: bool) {} ...@@ -9,7 +9,7 @@ pub fn klee_assume(_cond: bool) {}
pub fn klee_make_symbolic<T>(t: &mut T) { pub fn klee_make_symbolic<T>(t: &mut T) {
// force LLVM to consider data to be mutated // force LLVM to consider data to be mutated
unsafe { unsafe {
asm!("bkpt #3") core::arch::asm!("bkpt #3")
} }
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment