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