[package]
name = "klee-examples"
version = "0.1.0"
authors = ["pln <Per Lindgren>"]
edition = "2018"

[dependencies]
panic-halt = "0.2.0"

vcell = "0.1.2"
volatile-register = "0.2.0"
cortex-m-rt = "0.6.11"

[dependencies.lm3s6965] 
version = "0.1.3"
optional = true

[dependencies.cortex-m-semihosting]
version = "0.3.5"
optional = true

[dependencies.panic-klee]
git = "https://gitlab.henriktjader.com/pln/panic-klee.git"
version = "0.1.0"

[dependencies.klee-sys]
git = "https://gitlab.henriktjader.com/pln/klee-sys.git"
version = "0.1.0"

[dependencies.cortex-m-rtfm]
path = "../cortex-m-rtpro"
optional = true

[dependencies.cortex-m]
version = "0.6.1"
optional = true
# #features = ["inline-asm", "klee-analysis"]

[patch.crates-io]
vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
#vcell = { path = "../vcell" }

cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "trustit" }
#cortex-m = { path = "../cortex-m" }

#cortex-m-rt = { git = "https://github.com/perlindgren/cortex-m-rt.git", branch = "trustit" }
cortex-m-rt = { path = "../cortex-m-rt" }

[features] 
klee-analysis = [ 
    "vcell/klee-analysis",
    "cortex-m/klee-analysis", 
    "cortex-m-rt/klee-analysis" 
    ]
inline-asm = ["cortex-m/inline-asm"]
rtpro = [ "cortex-m-rtfm/klee-analysis", "cortex-m-rt/rtpro", "lm3s6965" ]

[profile.dev]
panic = "abort"
# incremental = false
lto = true
# codegen-units = 1

[profile.release]
debug = true
panic = "abort"
incremental = false
lto = true
codegen-units = 1