Cargo.toml

[package]
name = "klee"
version = "0.2.0"
authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
edition = "2018"

[dependencies]
cstr_core = "0.1.2"

[features]
klee-analysis = []