diff --git a/Cargo.toml b/Cargo.toml index e3180a2c1d782696b2207d452221c1230149f0b4..6660f9a47b9723851aa7388a59bddab01a924736 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 49acf9310ef236c75c15d51e2d68621b5484f955..0000000000000000000000000000000000000000 --- 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 7334539a8359d2a2a43125e7821e8d571dea8958..0000000000000000000000000000000000000000 --- 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); -}