From 4631e2866f2dda3dc7c2f3a8e364f59093d89a4a Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Sat, 28 Dec 2019 15:29:37 +0100
Subject: [PATCH] polish
---
examples/kabort.rs | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/examples/kabort.rs b/examples/kabort.rs
index ea21f41..3375985 100644
--- a/examples/kabort.rs
+++ b/examples/kabort.rs
@@ -11,7 +11,6 @@ use panic_halt as _;
#[no_mangle]
fn main() {
let mut a = 0;
- // ksymbol!(&mut a, "a");
panic!();
}
@@ -20,10 +19,10 @@ fn main() {
fn main() {
let mut a = 0;
klee_make_symbolic(&mut a, "a");
- // match a {
- // 0 => klee_abort(),
- // 2 => klee_abort(),
- // _ => (),
- // };
+ match a {
+ 0 => klee_abort(),
+ 2 => klee_abort(),
+ _ => (),
+ };
panic();
}
--
GitLab