From f9726a06adf66ca6cdb468cfac708a19f1779dc7 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 24 Dec 2018 21:46:09 +0100
Subject: [PATCH] dependencies.klee updated
---
Cargo.toml | 9 ++++++---
examples/example.rs | 25 -------------------------
examples/example2.rs | 28 ----------------------------
3 files changed, 6 insertions(+), 56 deletions(-)
delete mode 100644 examples/example.rs
delete mode 100644 examples/example2.rs
diff --git a/Cargo.toml b/Cargo.toml
index e3180a2..6660f9a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -15,8 +15,11 @@ version = "0.3.0"
[dependencies]
vcell = "0.1.0"
-klee = { path = "..", optional = true }
-[features]
-klee-analysis = ["klee"]
+[dependencies.klee]
+version = "0.2.0"
+git = "https://gitlab.henriktjader.com/pln/cargo-klee.git"
+optional = true
+[features]
+klee-analysis = ["klee"]
\ No newline at end of file
diff --git a/examples/example.rs b/examples/example.rs
deleted file mode 100644
index 49acf93..0000000
--- a/examples/example.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-//! Example to show the use of `Debug` formatting for small register arrays
-//!
-//! > cargo +stable run --example example --features debug-fmt
-//!
-
-extern crate volatile_register;
-use std::mem;
-use volatile_register::RW;
-
-#[repr(C)]
-#[derive(Debug)]
-pub struct Nvic {
- /// Interrupt Set-Enable
- pub iser: [RW<u32>; 8],
- reserved0: [u32; 24],
- /// Interrupt Clear-Enable
- pub icer: [RW<u32>; 8],
- reserved1: [u32; 24],
- // .. more registers ..
-}
-
-fn main() {
- let r: Nvic = unsafe { mem::uninitialized() };
- println!("{:?}", r);
-}
diff --git a/examples/example2.rs b/examples/example2.rs
deleted file mode 100644
index 7334539..0000000
--- a/examples/example2.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-//! Example to show the use of ¡Debug` formatting for big register arrays
-//!
-//! > cargo +nightly run --example example2 --features 'debug-fmt nightly'
-//!
-
-extern crate array_debug;
-extern crate volatile_register;
-
-use array_debug::ArrayDebug;
-use std::mem;
-use volatile_register::RW;
-
-#[repr(C)]
-#[derive(Debug)]
-pub struct Nvic {
- /// Interrupt Set-Enable
- pub iser: ArrayDebug<[RW<u32>; 38], RW<u32>>,
- reserved0: [u32; 24],
- /// Interrupt Clear-Enable
- pub icer: [RW<u32>; 8],
- reserved1: [u32; 24],
- // .. more registers ..
-}
-
-fn main() {
- let r: Nvic = unsafe { mem::uninitialized() };
- println!("{:?}", r);
-}
--
GitLab