Commit d0ed6ff7 authored by Per's avatar Per

remove feature klee-analysis

parent e3a296be
......@@ -7,5 +7,3 @@ edition = "2018"
[dependencies]
cstr_core = "0.1.2"
[features]
klee-analysis = []
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment