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
    30 commits behind the upstream repository.
    Per Lindgren's avatar
    tidying up
    Per Lindgren authored
    cb5a6ef9
    History
    Per Lindgren's avatar cb5a6ef9
    History
    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"]