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

klee-examples/Cargo.toml

parent 5135013a
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
klee-examples/Cargo.toml
+ 1
− 2
View file @ 3a161f3d
...@@ -15,9 +15,8 @@ version = "0.6.0" ...@@ -15,9 +15,8 @@ version = "0.6.0"
[patch.crates-io] [patch.crates-io]
vcell = { git = "https://github.com/perlindgren/vcell.git" } vcell = { git = "https://github.com/perlindgren/vcell.git" }
#vcell = { path = "../../vcell" }
#volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" } #volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" } volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git" }
#volatile-register = { path = "../../klee/volatile-register/" } #volatile-register = { path = "../../klee/volatile-register/" }
cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" } cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment