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

update klee-sys dependency

parent 57bc21a3
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
cargo_klee_examples/Cargo.toml
+ 1
− 1
View file @ da3833f8
...@@ -5,7 +5,7 @@ authors = ["pln <Per Lindgren>"] ...@@ -5,7 +5,7 @@ authors = ["pln <Per Lindgren>"]
edition = "2018" edition = "2018"
[dependencies.klee-sys] [dependencies.klee-sys]
git = "https://gitlab.henriktjader.com/KLEE/klee-sys.git" git = "https://gitlab.henriktjader.com/pln/klee-sys.git"
version = "0.2.0" version = "0.2.0"
[dependencies.panic-klee] [dependencies.panic-klee]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment