From cbe592688047e41ebfd0f15e7bf5799f81bfcd4a Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Sun, 8 Jan 2023 16:36:48 +0100
Subject: Fix failing UI test

---
 macros/ui/shared-lock-free.stderr | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 macros/ui/shared-lock-free.stderr

(limited to 'macros/ui')

diff --git a/macros/ui/shared-lock-free.stderr b/macros/ui/shared-lock-free.stderr
new file mode 100644
index 0000000..51e99a0
--- /dev/null
+++ b/macros/ui/shared-lock-free.stderr
@@ -0,0 +1,17 @@
+error: Lock free shared resource "e1" is used by tasks at different priorities
+ --> ui/shared-lock-free.rs:9:9
+  |
+9 |         e1: u32,
+  |         ^^
+
+error: Shared resource "e1" is declared lock free but used by tasks at different priorities
+  --> ui/shared-lock-free.rs:30:51
+   |
+30 |     #[task(binds = UART0, priority = 1, shared = [e1])]
+   |                                                   ^^
+
+error: Shared resource "e1" is declared lock free but used by tasks at different priorities
+  --> ui/shared-lock-free.rs:36:51
+   |
+36 |     #[task(binds = UART1, priority = 2, shared = [e1])]
+   |                                                   ^^
-- 
cgit v1.2.3