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