From 7fa81f96d8c11ee69af527f1dd8c9fd5c2ad4a59 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Tue, 31 Dec 2019 00:06:03 +0100
Subject: [PATCH] cortex_m_test

---
 Cargo.toml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 17af6d4..285cb9a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -31,18 +31,18 @@ path = "../cortex-m-rtpro"
 optional = true
 
 [dependencies.cortex-m]
-version = "0.6.0"
+version = "0.6.1"
 optional = true
 # #features = ["inline-asm", "klee-analysis"]
 
 [patch.crates-io]
 vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
 # volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
-# cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
+cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "trustit" }
 
 
 [features] 
-klee-analysis = ["vcell/klee-analysis"]
+klee-analysis = [ "vcell/klee-analysis", "cortex-m/klee-analysis" ]
 
 [profile.dev]
 panic = "abort"
-- 
GitLab