tidying up

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