Cargo.toml

[package]
name = "klee-examples"
version = "0.1.0"
authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]

[dependencies]
klee = {path=".."}

[patch.crates-io]
cortex-m = { path = "../cortex-m" }
volatile-register = { path = "../volatile-register" }

[dependencies.cortex-m]
version = "0.6.0"
features = ["inline-asm", "klee-analysis"]


[profile.release]
debug = true
panic = "abort"
lto = true