From cc8440f31c0403f3332457b56e3a50e9399ea66c Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 24 Dec 2018 22:27:46 +0100
Subject: [PATCH] tmp
---
klee-examples/Cargo.toml | 18 ++++++++++--------
1 file changed, 10 insertions(+), 8 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 538cf2a..9805201 100644
--- a/klee-examples/Cargo.toml
+++ b/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"
-# features = ["klee-analysis"]
-# [patch.crates-io]
+[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/"
+
# #[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"
--
GitLab