Skip to content
Snippets Groups Projects
Select Git revision
  • a8f07c59a2c32a719670698ecfd6bc226757855b
  • master default protected
  • home-exam
  • lab-cargo_klee_examples
  • lab-get_sign.c
  • lab-get_sign.rs
  • v1.0
7 results

Cargo.toml

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

    

    

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

# [dependencies.stm32f4] 
# version = "0.12.1"
# features = ["stm32f401"]

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

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

[dependencies.cortex-m]
version = "0.6.1"

[dependencies]
vcell = "0.1.2"

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


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

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

[features]
klee-analysis = [
    "klee-sys/klee-analysis", 
    "cortex-m/klee-analysis",
    "vcell/klee-analysis"
]