dependencies.klee updated

Cargo.toml

@@ -15,8 +15,11 @@ version = "0.3.0"
 
 [dependencies]
 vcell = "0.1.0"
-klee = { path = "..", optional = true }
+
+[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
-

examples/example.rs

-//! 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);
-}

examples/example2.rs

-//! 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);
-}