Skip to content
Snippets Groups Projects
Select Git revision
  • d64a7e7f66534c929b032a41a82ca0d60d0f10f4
  • 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 211 B
    [package]
    name = "klee"
    version = "0.3.0"
    authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
    edition = "2018"
    
    [dependencies]
    cstr_core = "0.1.2"
    
    [features]
    klee-analysis = []