[package] name = "klee-sys" version = "0.1.0" authors = ["pln <Per Lindgren>"] edition = "2018" [dependencies] cstr_core = "0.1.2"