wip

kernel/examples/error.rs

@@ -18,6 +18,7 @@ main!({
 
     error_set(n);
     assert(error_get() == n);
+    alloc(m);
     error_set(0);
     assert(error_get() == 0);
 });

kernel/examples/reuse.rs

@@ -7,9 +7,12 @@ main!({
     let x = u64();
     assume(x > 0);
 
+    let y = u64();
+    assume(y > 0);
+
     let mut tmp = 0;
 
-    for _ in 0..10 {
+    for _ in 0..y {
         let m = alloc(x);
         if tmp == 0 {
             tmp = m;