From 54e25a2546a208bfcd82f093d6f905fe982bbd1b Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Tue, 14 Jan 2020 10:58:46 +0100
Subject: [PATCH] inline-asm

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

diff --git a/Cargo.toml b/Cargo.toml
index 62c5fe3..30f2684 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -35,7 +35,7 @@ version = "0.1.0"
 git = "https://gitlab.henriktjader.com/pln/klee-sys.git"
 # path = "../klee-sys"
 version = "0.1.0"
-features = ["inline-asm"]
+#features = ["inline-asm"]
 
 # [dependencies.cortex-m-rtfm]
 # path = "../cortex-m-rtpro"
@@ -63,8 +63,8 @@ klee-analysis = [
      "cortex-m/klee-analysis", 
      "cortex-m-rt/klee-analysis" 
 ]
-
-inline-asm = ["cortex-m/inline-asm"]
+klee-replay = [ "klee-sys/klee-replay"]
+inline-asm = ["cortex-m/inline-asm", "klee-sys/inline-asm"]
 # rtpro = [ "cortex-m-rtfm/klee-analysis", "cortex-m-rt/rtpro", "lm3s6965" ]
 f4 = ["stm32f4/stm32f401", "stm32f4/rt", "cortex-m-semihosting", "cortex-m-rt", "cortex-m"]
 
-- 
GitLab