Skip to content
Snippets Groups Projects
Commit 05092174 authored by Per Lindgren's avatar Per Lindgren
Browse files

klee-analysis propagation

parent f9726a06
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Cargo.toml
+ 1
− 1
View file @ 05092174
...@@ -22,4 +22,4 @@ git = "https://gitlab.henriktjader.com/pln/cargo-klee.git" ...@@ -22,4 +22,4 @@ git = "https://gitlab.henriktjader.com/pln/cargo-klee.git"
optional = true optional = true
[features] [features]
klee-analysis = ["klee"] klee-analysis = ["klee", "klee/klee-analysis"]
\ No newline at end of file \ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment