From cb5a6ef92bfe567a5a1122a63ab2fcbb74577f81 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 24 Dec 2018 22:41:03 +0100
Subject: [PATCH] tidying up
---
klee-examples/Cargo.toml | 14 +++-----------
1 file changed, 3 insertions(+), 11 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 9805201..998ca10 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -10,14 +10,10 @@ klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
[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]
-# [patch.crates-io]
-# "volatile-register" = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
+# [replace]
+[patch.crates-io]
+"volatile-register" = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
# [dependencies.cortex-m]
# version = "0.6.0"
@@ -31,7 +27,6 @@ branch = "klee-analysis"
#cortex-m = { path = "../cortex-m" }
#volatile-register = { version = "0.3.0", path = "../volatile-register" }
-
[[bin]]
name = "main"
path = "src/main.rs"
@@ -53,6 +48,3 @@ lto = true
#klee-analysis = ["stm32f413/klee-analysis", "cortex-m/klee-analysis", "klee/klee-analysis"]
klee-analysis = ["klee/klee-analysis", "volatile-register/klee-analysis"]
#klee-replay = ["klee/klee-replay"]
-#dummy1 = []
-#dummy2 = []
-#default = ["klee-analysis"]
\ No newline at end of file
--
GitLab