From 1d29ee74f7baba5b741322f5ded86aa6db8a0511 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Thu, 26 Dec 2019 12:44:09 +0100
Subject: [PATCH] examples
---
klee-examples/Cargo.toml | 4 ++++
klee-examples/examples/gpioa.rs | 4 ++--
klee-examples/examples/registers.rs | 2 ++
3 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index a9a1b2f..f19ab07 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -48,6 +48,10 @@ path = "src/peripheral.rs"
name = "clk"
path = "src/clk.rs"
+[[bin]]
+name = "sorted"
+path = "src/sorted.rs"
+
[profile.dev]
incremental = false
# lto = true
diff --git a/klee-examples/examples/gpioa.rs b/klee-examples/examples/gpioa.rs
index 39a9276..ed5aec3 100644
--- a/klee-examples/examples/gpioa.rs
+++ b/klee-examples/examples/gpioa.rs
@@ -1,5 +1,5 @@
//! $ cargo klee --example gpioa --features klee-device
-//!
+//!
#![no_std]
#![no_main]
@@ -21,6 +21,6 @@ fn main() {
let gpioa = p.GPIOA;
if gpioa.moder.read().bits() == 0 && syst.rvr.read() == 0 {
- let _p = Peripherals::take().unwrap();
+ let _p = Peripherals::take().unwrap();
}
}
diff --git a/klee-examples/examples/registers.rs b/klee-examples/examples/registers.rs
index 037ee4f..1552def 100644
--- a/klee-examples/examples/registers.rs
+++ b/klee-examples/examples/registers.rs
@@ -1,3 +1,5 @@
+// cargo klee --example registers --release
+
#![no_std]
#![no_main]
--
GitLab