Select Git revision
Forked from
Per Lindgren / e7020e_2021
Source project has a limited visibility.
This project manages its dependencies using Cargo.
Learn more
Cargo.toml 1.12 KiB
[package]
name = "klee-examples"
version = "0.2.0"
authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
[dependencies]
klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
#panic-abort = "0.3.1"
[dependencies.volatile-register]
version = "0.3.0"
# [replace]
[patch.crates-io]
"volatile-register" = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
# [dependencies.cortex-m]
# version = "0.6.0"
# #features = ["inline-asm", "klee-analysis"]
# [dependencies.stm32f413]
# version = "0.3.0"
# path = "../stm32f413"
#[patch.crates-io]
#cortex-m = { path = "../cortex-m" }
#volatile-register = { version = "0.3.0", path = "../volatile-register" }
[[bin]]
name = "main"
path = "src/main.rs"
[[bin]]
name = "main2"
path = "src/main2.rs"
[profile.dev]
incremental = false
# lto = true
[profile.release]
debug = true
panic = "abort"
lto = true
[features]
#klee-analysis = ["stm32f413/klee-analysis", "cortex-m/klee-analysis", "klee/klee-analysis"]
klee-analysis = ["klee/klee-analysis", "volatile-register/klee-analysis"]
#klee-replay = ["klee/klee-replay"]