diff options
| author | Emil Fresk <emil.fresk@gmail.com> | 2023-01-08 16:25:46 +0100 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-03-01 00:33:27 +0100 |
| commit | 584ac7e1b335411e3d923aeef92466efdc92ae50 (patch) | |
| tree | 99906bccb37bfe7e852d054fb52d62e6df4290c5 /macros/ui/shared-lock-free.stderr | |
| parent | 9a4f97ca5ebf19e6612115db5c763d0d61dd28a1 (diff) | |
Update UI tests, 1 failing that needs fixing
Diffstat (limited to 'macros/ui/shared-lock-free.stderr')
| -rw-r--r-- | macros/ui/shared-lock-free.stderr | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/macros/ui/shared-lock-free.stderr b/macros/ui/shared-lock-free.stderr deleted file mode 100644 index c6820e8..0000000 --- a/macros/ui/shared-lock-free.stderr +++ /dev/null @@ -1,17 +0,0 @@ -error: Lock free shared resource "e1" is used by tasks at different priorities - --> $DIR/shared-lock-free.rs:9:9 - | -9 | e1: u32, - | ^^ - -error: Shared resource "e1" is declared lock free but used by tasks at different priorities - --> $DIR/shared-lock-free.rs:30:36 - | -30 | #[task(priority = 1, shared = [e1])] - | ^^ - -error: Shared resource "e1" is declared lock free but used by tasks at different priorities - --> $DIR/shared-lock-free.rs:36:36 - | -36 | #[task(priority = 2, shared = [e1])] - | ^^ |