diff options
Diffstat (limited to 'ci')
29 files changed, 45 insertions, 33 deletions
diff --git a/ci/expected/big-struct-opt.run b/ci/expected/big-struct-opt.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/big-struct-opt.run diff --git a/ci/expected/cancel-reschedule.run b/ci/expected/cancel-reschedule.run new file mode 100644 index 0000000..5a94752 --- /dev/null +++ b/ci/expected/cancel-reschedule.run @@ -0,0 +1,3 @@ +init +foo +bar diff --git a/ci/expected/cfg-whole-task.run b/ci/expected/cfg-whole-task.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/cfg-whole-task.run diff --git a/ci/expected/common.run b/ci/expected/common.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/common.run diff --git a/ci/expected/declared_locals.run b/ci/expected/declared_locals.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/declared_locals.run diff --git a/ci/expected/destructure.run b/ci/expected/destructure.run new file mode 100644 index 0000000..b9b7cc9 --- /dev/null +++ b/ci/expected/destructure.run @@ -0,0 +1,2 @@ +foo: a = 0, b = 0, c = 0 +bar: a = 0, b = 0, c = 0 diff --git a/ci/expected/extern_binds.run b/ci/expected/extern_binds.run new file mode 100644 index 0000000..9d925d5 --- /dev/null +++ b/ci/expected/extern_binds.run @@ -0,0 +1,4 @@ +init +foo called +idle +foo called diff --git a/ci/expected/extern_spawn.run b/ci/expected/extern_spawn.run new file mode 100644 index 0000000..2f8c74f --- /dev/null +++ b/ci/expected/extern_spawn.run @@ -0,0 +1,2 @@ +foo 1, 2 +foo 2, 3 diff --git a/ci/expected/locals.run b/ci/expected/locals.run new file mode 100644 index 0000000..bf1d207 --- /dev/null +++ b/ci/expected/locals.run @@ -0,0 +1,3 @@ +foo: local_to_foo = 1 +bar: local_to_bar = 1 +idle: local_to_idle = 1 diff --git a/ci/expected/lock-free.run b/ci/expected/lock-free.run index 56f47a0..18de0ec 100644 --- a/ci/expected/lock-free.run +++ b/ci/expected/lock-free.run @@ -1,14 +1,2 @@ -GPIOA/start - GPIOA/counter = 1 -GPIOA/end -GPIOB/start - GPIOB/counter = 2 -GPIOB/end -GPIOA/start - GPIOA/counter = 3 -GPIOA/end -GPIOB/start - GPIOB/counter = 4 -GPIOB/end -GPIOA/start - GPIOA/counter = 5 + foo = 1 + bar = 2 diff --git a/ci/expected/message_passing.run b/ci/expected/message_passing.run new file mode 100644 index 0000000..a1448d8 --- /dev/null +++ b/ci/expected/message_passing.run @@ -0,0 +1,3 @@ +foo 1, 1 +foo 1, 2 +foo 2, 3 diff --git a/ci/expected/multilock.run b/ci/expected/multilock.run index 10a377c..dd8c1f2 100644 --- a/ci/expected/multilock.run +++ b/ci/expected/multilock.run @@ -1,4 +1 @@ -Multiple single locks -Multiple single locks, s1: 1, s2: 1, s3: 1 -Multilock! -Multiple single locks, s1: 2, s2: 2, s3: 2 +Multiple locks, s1: 1, s2: 1, s3: 1 diff --git a/ci/expected/only-shared-access.run b/ci/expected/only-shared-access.run index 1d4eed0..dcc73e6 100644 --- a/ci/expected/only-shared-access.run +++ b/ci/expected/only-shared-access.run @@ -1,2 +1,2 @@ -UART1(key = 0xdeadbeef) -UART0(key = 0xdeadbeef) +bar(key = 0xdeadbeef) +foo(key = 0xdeadbeef) diff --git a/ci/expected/periodic.run b/ci/expected/periodic.run index 11414c5..a1f8944 100644 --- a/ci/expected/periodic.run +++ b/ci/expected/periodic.run @@ -1,3 +1,4 @@ -foo(scheduled = Instant(8000000), now = Instant(8000196)) -foo(scheduled = Instant(16000000), now = Instant(16000196)) -foo(scheduled = Instant(24000000), now = Instant(24000196))
\ No newline at end of file +foo +foo +foo +foo diff --git a/ci/expected/pool.run b/ci/expected/pool.run index 040dcee..81f79d4 100644 --- a/ci/expected/pool.run +++ b/ci/expected/pool.run @@ -1,2 +1,2 @@ -bar(0x2000008c) -foo(0x20000110) +bar(0x20000088) +foo(0x2000010c) diff --git a/ci/expected/preempt.run b/ci/expected/preempt.run index 8777741..932b2b3 100644 --- a/ci/expected/preempt.run +++ b/ci/expected/preempt.run @@ -1,5 +1,5 @@ -GPIOA - start - GPIOC - start - GPIOC - end - GPIOB -GPIOA - end +foo - start + baz - start + baz - end + bar +foo - end diff --git a/ci/expected/resource-user-struct.run b/ci/expected/resource-user-struct.run new file mode 100644 index 0000000..a587a94 --- /dev/null +++ b/ci/expected/resource-user-struct.run @@ -0,0 +1,2 @@ +UART0: shared = 1 +UART1: shared = 2 diff --git a/ci/expected/schedule.run b/ci/expected/schedule.run index 9facc71..1dbd445 100644 --- a/ci/expected/schedule.run +++ b/ci/expected/schedule.run @@ -1,3 +1,4 @@ -init @ Instant(0) -bar @ Instant(4000236) -foo @ Instant(8000173)
\ No newline at end of file +init +foo +bar +baz diff --git a/ci/expected/shared.run b/ci/expected/shared.run new file mode 100644 index 0000000..6d3d3e4 --- /dev/null +++ b/ci/expected/shared.run @@ -0,0 +1 @@ +received message: 42 diff --git a/ci/expected/smallest.run b/ci/expected/smallest.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/smallest.run diff --git a/ci/expected/spawn.run b/ci/expected/spawn.run new file mode 100644 index 0000000..240cd18 --- /dev/null +++ b/ci/expected/spawn.run @@ -0,0 +1,2 @@ +init +foo diff --git a/ci/expected/static.run b/ci/expected/static.run new file mode 100644 index 0000000..3d3f46f --- /dev/null +++ b/ci/expected/static.run @@ -0,0 +1,3 @@ +received message: 1 +received message: 2 +received message: 3 diff --git a/ci/expected/t-binds.run b/ci/expected/t-binds.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-binds.run diff --git a/ci/expected/t-cfg-resources.run b/ci/expected/t-cfg-resources.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-cfg-resources.run diff --git a/ci/expected/t-htask-main.run b/ci/expected/t-htask-main.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-htask-main.run diff --git a/ci/expected/t-idle-main.run b/ci/expected/t-idle-main.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-idle-main.run diff --git a/ci/expected/t-late-not-send.run b/ci/expected/t-late-not-send.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-late-not-send.run diff --git a/ci/expected/t-schedule.run b/ci/expected/t-schedule.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-schedule.run diff --git a/ci/expected/t-spawn.run b/ci/expected/t-spawn.run new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/ci/expected/t-spawn.run |