Skip to content
Snippets Groups Projects
Select Git revision
  • d5a876a65199dff013f3c14f8792df86b05258cb
  • master default protected
2 results

Cargo.toml

Blame
  • Forked from KLEE / klee-sys
    12 commits ahead of the upstream repository.
    This project manages its dependencies using Cargo. Learn more
    Cargo.toml 229 B
    [package]
    name = "klee-sys"
    version = "0.2.0"
    authors = ["pln <Per Lindgren>"]
    edition = "2018"
    
    [dependencies.cstr_core]
    version = "0.2.2"
    default-features = false
    
    [features]
    inline-asm = []
    klee-analysis = []
    klee-replay = []