From 68dc73d22de22d351f9bebcda9406e3802d4010d Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 24 Dec 2018 21:42:49 +0100
Subject: [PATCH] disable volatile register
---
klee-examples/Cargo.toml | 17 +++++++++--------
1 file changed, 9 insertions(+), 8 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index d5f692d..538cf2a 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -7,14 +7,15 @@ authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io
klee = {path=".."}
#panic-abort = "0.3.1"
-[dependencies.volatile-register]
-#branch = "klee-analysis"
-version = "0.3.0"
-features = ["klee-analysis"]
-
-[patch.crates-io]
-#[replace]
-"volatile-register" = { path = "../../klee/volatile-register/" }
+# tmp disable
+# [dependencies.volatile-register]
+# #branch = "klee-analysis"
+# version = "0.3.0"
+# features = ["klee-analysis"]
+
+# [patch.crates-io]
+# #[replace]
+# "volatile-register" = { path = "../../klee/volatile-register/" }
# [dependencies.cortex-m]
# version = "0.6.0"
--
GitLab