path1.rs

#![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);
        }
    }
}