From c631049efcadca8b07940c794cce2be58fa48444 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sat, 3 Nov 2018 17:02:41 +0100
Subject: v0.4.0

closes #32
closes #33
---
 tests/cfail/init-resource-share-idle.rs | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 tests/cfail/init-resource-share-idle.rs

(limited to 'tests/cfail/init-resource-share-idle.rs')

diff --git a/tests/cfail/init-resource-share-idle.rs b/tests/cfail/init-resource-share-idle.rs
deleted file mode 100644
index 5b29f30..0000000
--- a/tests/cfail/init-resource-share-idle.rs
+++ /dev/null
@@ -1,30 +0,0 @@
-#![deny(warnings)]
-#![no_std]
-
-extern crate cortex_m_rtfm as rtfm;
-extern crate stm32f103xx;
-
-use rtfm::app;
-
-app! { //~ proc macro panicked
-    device: stm32f103xx,
-
-    resources: {
-        static BUFFER: [u8; 16] = [0; 16];
-    },
-
-    init: {
-        resources: [BUFFER],
-    },
-
-    idle: {
-        resources: [BUFFER],
-        //~^ error: this resource is owned by `init` and can't be shared
-    },
-}
-
-fn init(_p: init::Peripherals, _r: init::Resources) {}
-
-fn idle(_r: init::Resources) -> ! {
-    loop {}
-}
-- 
cgit v1.2.3