From 24a66afa61f5f039dcee302c0aa85bd3346a1f84 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Sat, 29 Dec 2018 00:09:21 +0100
Subject: [PATCH] updated exompples toml
---
klee-examples/Cargo.toml | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index a98a395..35110b0 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -15,18 +15,17 @@ version = "0.6.0"
[patch.crates-io]
vcell = { git = "https://github.com/perlindgren/vcell.git" }
-#volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
-volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git" }
-#volatile-register = { path = "../../klee/volatile-register/" }
+volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
[dependencies.volatile-register]
version = "0.3.0"
-# [dependencies.stm32f413]
-# version = "0.3.0"
-# path = "../../klee/stm32f413/"
-# optional = true
+[dependencies.stm32f413]
+version = "0.3.0"
+git = "https://gitlab.henriktjader.com/pln/stm32f413.git"
+branch = "klee-analysis"
+optional = true
[[examples]]
name = "gpioa"
--
GitLab