Select Git revision
Forked from
d7018e-special-studies-embedded-systems / are_we_embedded_yet
Source project has a limited visibility.
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);
}
}
}