Skip to content
Snippets Groups Projects
Select Git revision
  • 7731181b7c520ddc328ece0dab69cfee5b9699c8
  • master default protected
  • ktest
  • recursive
  • app
  • beta
  • tmp
7 results

path1.rs

Blame
  • path1.rs 372 B
    #![no_std]
    #![no_main]
    
    #[macro_use]
    extern crate klee;
    
    use core::ptr;
    
    #[inline(never)]
    fn add(a: u32, b: u32) -> u32 {
        a + b
    }
    
    #[no_mangle]
    fn main() {
        let mut a: [u32; 5] = unsafe { core::mem::uninitialized() };
        ksymbol!(&mut a, "a");
    
        for (i, a) in a.iter_mut().enumerate() {
            if *a > 0 {
                *a = a.wrapping_add(1);
            }
        }
    }