Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found
Select Git revision
  • master
1 result

Target

Select target project
  • Per Lindgren / klee-sys
  • KLEE / klee-sys
  • Carl Österberg / klee-sys
3 results
Select Git revision
  • master
1 result
Show changes

Commits on Source 12

2 files
+ 4
− 4
Compare changes
  • Side-by-side
  • Inline

Files

src/lib.rs

+1 −1
Original line number Original line Diff line number Diff line
@@ -14,7 +14,7 @@ 
//! TODO: better documentation (as always)

//! TODO: better documentation (as always)





#![no_std]

#![no_std]

#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]

//#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]





// re-exports for klee-analysis

// re-exports for klee-analysis

#[cfg(feature = "klee-analysis")]

#[cfg(feature = "klee-analysis")]

src/lib_klee_replay.rs

+3 −3
Original line number Original line Diff line number Diff line 
#[cfg(not(feature = "inline-asm"))]

//#[cfg(not(feature = "inline-asm"))]

compile_error!("klee-replay requires feature `inline-asm`");

//compile_error!("klee-replay requires feature `inline-asm`");





/// suppress assumption

/// suppress assumption

#[inline(always)]

#[inline(always)]
@@ -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 {

        llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")

        core::arch::asm!("bkpt #2")

    }

    }

}

}