Skip to content
Snippets Groups Projects
Select Git revision
  • cb5a6ef92bfe567a5a1122a63ab2fcbb74577f81
  • master default protected
  • klee-args
  • stable
4 results

Cargo.toml

Blame
    • Forked from Per Lindgren / cargo-klee
    Source project has a limited visibility.
    This project manages its dependencies using Cargo. Learn more
    Cargo.toml 1.12 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 
    

    

    

    [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"]