tmp

klee-examples/Cargo.toml

@@ -4,18 +4,20 @@ version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
 
 [dependencies]
-klee = {path=".."}
+klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
 #panic-abort = "0.3.1"
 
-# tmp disable
-# [dependencies.volatile-register]
-# #branch = "klee-analysis"
-# version = "0.3.0"
+
+[dependencies.volatile-register]
+version = "0.3.0"
+git =  "https://gitlab.henriktjader.com/pln/volatile-register.git" 
+branch = "klee-analysis"
 #features = ["klee-analysis"]
+#path = "../../klee/volatile-register/" 
 
-# [patch.crates-io]
 # #[replace]
-# "volatile-register" = { path = "../../klee/volatile-register/" }
+# [patch.crates-io]
+# "volatile-register" = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
 
 # [dependencies.cortex-m]
 # version = "0.6.0"