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
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15 
    

    

    

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