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