diff options
Diffstat (limited to 'ci')
48 files changed, 0 insertions, 144 deletions
diff --git a/ci/expected/big-struct-opt.run b/ci/expected/big-struct-opt.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/big-struct-opt.run +++ /dev/null diff --git a/ci/expected/binds.run b/ci/expected/binds.run deleted file mode 100644 index f84cff0..0000000 --- a/ci/expected/binds.run +++ /dev/null @@ -1,4 +0,0 @@ -init -foo called 1 time -idle -foo called 2 times diff --git a/ci/expected/cancel-reschedule.run b/ci/expected/cancel-reschedule.run deleted file mode 100644 index 5a94752..0000000 --- a/ci/expected/cancel-reschedule.run +++ /dev/null @@ -1,3 +0,0 @@ -init -foo -bar diff --git a/ci/expected/capacity.run b/ci/expected/capacity.run deleted file mode 100644 index f96815d..0000000 --- a/ci/expected/capacity.run +++ /dev/null @@ -1,5 +0,0 @@ -foo(0) -foo(1) -foo(2) -foo(3) -bar diff --git a/ci/expected/cfg-monotonic.run b/ci/expected/cfg-monotonic.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/cfg-monotonic.run +++ /dev/null diff --git a/ci/expected/cfg-whole-task.run b/ci/expected/cfg-whole-task.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/cfg-whole-task.run +++ /dev/null diff --git a/ci/expected/common.run b/ci/expected/common.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/common.run +++ /dev/null diff --git a/ci/expected/complex.run b/ci/expected/complex.run deleted file mode 100644 index 5df884d..0000000 --- a/ci/expected/complex.run +++ /dev/null @@ -1,47 +0,0 @@ -init -idle p0 started -t2 p4 called 1 time -enter lock s4 0 -t3 p4 exit -idle enter lock s3 0 -idle pend t0 -idle pend t1 -idle pend t2 -t2 p4 called 2 times -enter lock s4 1 -t3 p4 exit -idle still in lock s3 0 -t1 p3 called 1 time -t1 enter lock s4 2 -t1 pend t0 -t1 pend t2 -t1 still in lock s4 2 -t2 p4 called 3 times -enter lock s4 2 -t3 p4 exit -t1 p3 exit -t0 p2 called 1 time -t0 p2 exit - -back in idle -enter lock s2 0 -idle pend t0 -idle pend t1 -t1 p3 called 2 times -t1 enter lock s4 3 -t1 pend t0 -t1 pend t2 -t1 still in lock s4 3 -t2 p4 called 4 times -enter lock s4 3 -t3 p4 exit -t1 p3 exit -idle pend t2 -t2 p4 called 5 times -enter lock s4 4 -t3 p4 exit -idle still in lock s2 0 -t0 p2 called 2 times -t0 p2 exit - -idle exit diff --git a/ci/expected/declared_locals.run b/ci/expected/declared_locals.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/declared_locals.run +++ /dev/null diff --git a/ci/expected/destructure.run b/ci/expected/destructure.run deleted file mode 100644 index b9b7cc9..0000000 --- a/ci/expected/destructure.run +++ /dev/null @@ -1,2 +0,0 @@ -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 deleted file mode 100644 index 9d925d5..0000000 --- a/ci/expected/extern_binds.run +++ /dev/null @@ -1,4 +0,0 @@ -init -foo called -idle -foo called diff --git a/ci/expected/extern_spawn.run b/ci/expected/extern_spawn.run deleted file mode 100644 index 2f8c74f..0000000 --- a/ci/expected/extern_spawn.run +++ /dev/null @@ -1,2 +0,0 @@ -foo 1, 2 -foo 2, 3 diff --git a/ci/expected/generics.run b/ci/expected/generics.run deleted file mode 100644 index fb31731..0000000 --- a/ci/expected/generics.run +++ /dev/null @@ -1,6 +0,0 @@ -UART1(STATE = 0) -shared: 0 -> 1 -UART0(STATE = 0) -shared: 1 -> 2 -UART1(STATE = 1) -shared: 2 -> 4 diff --git a/ci/expected/hardware.run b/ci/expected/hardware.run deleted file mode 100644 index ef00864..0000000 --- a/ci/expected/hardware.run +++ /dev/null @@ -1,4 +0,0 @@ -init -UART0 called 1 time -idle -UART0 called 2 times diff --git a/ci/expected/idle-wfi.run b/ci/expected/idle-wfi.run deleted file mode 100644 index 4307776..0000000 --- a/ci/expected/idle-wfi.run +++ /dev/null @@ -1,2 +0,0 @@ -init -idle diff --git a/ci/expected/idle.run b/ci/expected/idle.run deleted file mode 100644 index 4307776..0000000 --- a/ci/expected/idle.run +++ /dev/null @@ -1,2 +0,0 @@ -init -idle diff --git a/ci/expected/init.run b/ci/expected/init.run deleted file mode 100644 index b1b7161..0000000 --- a/ci/expected/init.run +++ /dev/null @@ -1 +0,0 @@ -init diff --git a/ci/expected/locals.run b/ci/expected/locals.run deleted file mode 100644 index bf1d207..0000000 --- a/ci/expected/locals.run +++ /dev/null @@ -1,3 +0,0 @@ -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 deleted file mode 100644 index 18de0ec..0000000 --- a/ci/expected/lock-free.run +++ /dev/null @@ -1,2 +0,0 @@ - foo = 1 - bar = 2 diff --git a/ci/expected/lock.run b/ci/expected/lock.run deleted file mode 100644 index a987b37..0000000 --- a/ci/expected/lock.run +++ /dev/null @@ -1,5 +0,0 @@ -A -B - shared = 1 -C -D - shared = 2 -E diff --git a/ci/expected/message.run b/ci/expected/message.run deleted file mode 100644 index 11814db..0000000 --- a/ci/expected/message.run +++ /dev/null @@ -1,6 +0,0 @@ -foo -bar(0) -baz(1, 2) -foo -bar(1) -baz(2, 3) diff --git a/ci/expected/message_passing.run b/ci/expected/message_passing.run deleted file mode 100644 index a1448d8..0000000 --- a/ci/expected/message_passing.run +++ /dev/null @@ -1,3 +0,0 @@ -foo 1, 1 -foo 1, 2 -foo 2, 3 diff --git a/ci/expected/multilock.run b/ci/expected/multilock.run deleted file mode 100644 index dd8c1f2..0000000 --- a/ci/expected/multilock.run +++ /dev/null @@ -1 +0,0 @@ -Multiple locks, s1: 1, s2: 1, s3: 1 diff --git a/ci/expected/not-sync.run b/ci/expected/not-sync.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/not-sync.run +++ /dev/null diff --git a/ci/expected/only-shared-access.run b/ci/expected/only-shared-access.run deleted file mode 100644 index dcc73e6..0000000 --- a/ci/expected/only-shared-access.run +++ /dev/null @@ -1,2 +0,0 @@ -bar(key = 0xdeadbeef) -foo(key = 0xdeadbeef) diff --git a/ci/expected/periodic-at.run b/ci/expected/periodic-at.run deleted file mode 100644 index 54020f9..0000000 --- a/ci/expected/periodic-at.run +++ /dev/null @@ -1,4 +0,0 @@ -foo Instant { ticks: 0 } -foo Instant { ticks: 100 } -foo Instant { ticks: 200 } -foo Instant { ticks: 300 } diff --git a/ci/expected/periodic-at2.run b/ci/expected/periodic-at2.run deleted file mode 100644 index 47adbef..0000000 --- a/ci/expected/periodic-at2.run +++ /dev/null @@ -1,7 +0,0 @@ -foo Instant { ticks: 0 } -bar Instant { ticks: 10 } -foo Instant { ticks: 110 } -bar Instant { ticks: 120 } -foo Instant { ticks: 220 } -bar Instant { ticks: 230 } -foo Instant { ticks: 330 } diff --git a/ci/expected/periodic.run b/ci/expected/periodic.run deleted file mode 100644 index a1f8944..0000000 --- a/ci/expected/periodic.run +++ /dev/null @@ -1,4 +0,0 @@ -foo -foo -foo -foo diff --git a/ci/expected/peripherals-taken.run b/ci/expected/peripherals-taken.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/peripherals-taken.run +++ /dev/null diff --git a/ci/expected/pool.run b/ci/expected/pool.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/pool.run +++ /dev/null diff --git a/ci/expected/preempt.run b/ci/expected/preempt.run deleted file mode 100644 index 932b2b3..0000000 --- a/ci/expected/preempt.run +++ /dev/null @@ -1,5 +0,0 @@ -foo - start - baz - start - baz - end - bar -foo - end diff --git a/ci/expected/ramfunc.run b/ci/expected/ramfunc.run deleted file mode 100644 index 257cc56..0000000 --- a/ci/expected/ramfunc.run +++ /dev/null @@ -1 +0,0 @@ -foo diff --git a/ci/expected/ramfunc.run.grep.bar b/ci/expected/ramfunc.run.grep.bar deleted file mode 100644 index 33e002f..0000000 --- a/ci/expected/ramfunc.run.grep.bar +++ /dev/null @@ -1 +0,0 @@ -20000000 t ramfunc::bar::h9d6714fe5a3b0c89 diff --git a/ci/expected/ramfunc.run.grep.foo b/ci/expected/ramfunc.run.grep.foo deleted file mode 100644 index 44e8822..0000000 --- a/ci/expected/ramfunc.run.grep.foo +++ /dev/null @@ -1 +0,0 @@ -00000162 t ramfunc::foo::h30e7789b08c08e19 diff --git a/ci/expected/resource-user-struct.run b/ci/expected/resource-user-struct.run deleted file mode 100644 index a587a94..0000000 --- a/ci/expected/resource-user-struct.run +++ /dev/null @@ -1,2 +0,0 @@ -UART0: shared = 1 -UART1: shared = 2 diff --git a/ci/expected/schedule.run b/ci/expected/schedule.run deleted file mode 100644 index 1dbd445..0000000 --- a/ci/expected/schedule.run +++ /dev/null @@ -1,4 +0,0 @@ -init -foo -bar -baz diff --git a/ci/expected/shared.run b/ci/expected/shared.run deleted file mode 100644 index 6d3d3e4..0000000 --- a/ci/expected/shared.run +++ /dev/null @@ -1 +0,0 @@ -received message: 42 diff --git a/ci/expected/smallest.run b/ci/expected/smallest.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/smallest.run +++ /dev/null diff --git a/ci/expected/spawn.run b/ci/expected/spawn.run deleted file mode 100644 index 240cd18..0000000 --- a/ci/expected/spawn.run +++ /dev/null @@ -1,2 +0,0 @@ -init -foo diff --git a/ci/expected/static.run b/ci/expected/static.run deleted file mode 100644 index 3d3f46f..0000000 --- a/ci/expected/static.run +++ /dev/null @@ -1,3 +0,0 @@ -received message: 1 -received message: 2 -received message: 3 diff --git a/ci/expected/t-binds.run b/ci/expected/t-binds.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-binds.run +++ /dev/null diff --git a/ci/expected/t-cfg-resources.run b/ci/expected/t-cfg-resources.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-cfg-resources.run +++ /dev/null diff --git a/ci/expected/t-htask-main.run b/ci/expected/t-htask-main.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-htask-main.run +++ /dev/null diff --git a/ci/expected/t-idle-main.run b/ci/expected/t-idle-main.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-idle-main.run +++ /dev/null diff --git a/ci/expected/t-late-not-send.run b/ci/expected/t-late-not-send.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-late-not-send.run +++ /dev/null diff --git a/ci/expected/t-schedule.run b/ci/expected/t-schedule.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-schedule.run +++ /dev/null diff --git a/ci/expected/t-spawn.run b/ci/expected/t-spawn.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/t-spawn.run +++ /dev/null diff --git a/ci/expected/task.run b/ci/expected/task.run deleted file mode 100644 index de45dce..0000000 --- a/ci/expected/task.run +++ /dev/null @@ -1,5 +0,0 @@ -foo - start -foo - middle -baz -foo - end -bar |