Skip to content
Snippets Groups Projects
Select Git revision
  • 24a66afa61f5f039dcee302c0aa85bd3346a1f84
  • 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.31 KiB
    [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" }
    volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
    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"
    git = "https://gitlab.henriktjader.com/pln/stm32f413.git"
    branch = "klee-analysis" 
    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"]