Skip to content
Snippets Groups Projects
Select Git revision
  • cd7a46e76b7046b8187fa24dc21db3c9870bc1ff
  • master default protected
  • v5
  • stable
4 results

Cargo.toml

Blame
    • This project manages its dependencies using Cargo. Learn more
    Cargo.toml 1.46 KiB
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50
    51
    52
    53
    54
    55
    56
    57
    58
    59
    60
    61 
    

    

    

    [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"}
klee = {path =".."}
panic-abort = "0.3.1"


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

[patch.crates-io]
vcell = { git = "https://github.com/perlindgren/vcell.git" }
#vcell = { path = "../../vcell" }
#volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
#volatile-register = { path = "../../klee/volatile-register/" }
cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }

[dependencies.volatile-register]
version = "0.3.0"

[dependencies.stm32f413]
version = "0.3.0"
path = "../../klee/stm32f413/"
optional = true

[[examples]]
name = "gpioa"
path = "examples/gpioa.rs"
#required-features = ["klee-device"] # seem to work only in [[bin]]

[[bin]]
name = "foo"
path = "src/foo.rs"

[[bin]]
name = "register"
path = "src/register.rs"

[[bin]]
name = "peripheral"
path = "src/peripheral.rs"

[profile.dev]
incremental = false
# lto = true

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

[features]
klee-analysis = ["klee/klee-analysis", "volatile-register/klee-analysis", "cortex-m/klee-analysis"]
klee-device = ["stm32f413/klee-analysis"]