diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/expected/baseline.run | 4 | ||||
| -rw-r--r-- | ci/expected/cfg.run | 2 | ||||
| -rw-r--r-- | ci/expected/late.run | 1 | ||||
| -rw-r--r-- | ci/expected/not-send.run | 0 | ||||
| -rw-r--r-- | ci/expected/ramfunc.grep.bar | 1 | ||||
| -rw-r--r-- | ci/expected/ramfunc.grep.foo | 1 | ||||
| -rw-r--r-- | ci/expected/resource.run | 2 | ||||
| -rw-r--r-- | ci/expected/shared-with-init.run | 0 | ||||
| -rw-r--r-- | ci/expected/singleton.run | 2 | ||||
| -rw-r--r-- | ci/expected/types.run | 0 |
10 files changed, 0 insertions, 13 deletions
diff --git a/ci/expected/baseline.run b/ci/expected/baseline.run deleted file mode 100644 index fa3822f..0000000 --- a/ci/expected/baseline.run +++ /dev/null @@ -1,4 +0,0 @@ -init(baseline = Instant(0)) -foo(baseline = Instant(0)) -UART0(baseline = Instant(904)) -foo(baseline = Instant(904))
\ No newline at end of file diff --git a/ci/expected/cfg.run b/ci/expected/cfg.run deleted file mode 100644 index b584958..0000000 --- a/ci/expected/cfg.run +++ /dev/null @@ -1,2 +0,0 @@ -foo has been called 1 time -foo has been called 2 times diff --git a/ci/expected/late.run b/ci/expected/late.run deleted file mode 100644 index 6d3d3e4..0000000 --- a/ci/expected/late.run +++ /dev/null @@ -1 +0,0 @@ -received message: 42 diff --git a/ci/expected/not-send.run b/ci/expected/not-send.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/not-send.run +++ /dev/null diff --git a/ci/expected/ramfunc.grep.bar b/ci/expected/ramfunc.grep.bar deleted file mode 100644 index 1fa5bad..0000000 --- a/ci/expected/ramfunc.grep.bar +++ /dev/null @@ -1 +0,0 @@ -20000000 t ramfunc::bar::h9d6714fe5a3b0c89
\ No newline at end of file diff --git a/ci/expected/ramfunc.grep.foo b/ci/expected/ramfunc.grep.foo deleted file mode 100644 index 845f277..0000000 --- a/ci/expected/ramfunc.grep.foo +++ /dev/null @@ -1 +0,0 @@ -00000162 t ramfunc::foo::h30e7789b08c08e19
\ No newline at end of file diff --git a/ci/expected/resource.run b/ci/expected/resource.run deleted file mode 100644 index 9b60960..0000000 --- a/ci/expected/resource.run +++ /dev/null @@ -1,2 +0,0 @@ -UART1: local_to_uart1 = 1 -UART0: local_to_uart0 = 1 diff --git a/ci/expected/shared-with-init.run b/ci/expected/shared-with-init.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/shared-with-init.run +++ /dev/null diff --git a/ci/expected/singleton.run b/ci/expected/singleton.run deleted file mode 100644 index c55dc1a..0000000 --- a/ci/expected/singleton.run +++ /dev/null @@ -1,2 +0,0 @@ -bar(2) -foo(1) diff --git a/ci/expected/types.run b/ci/expected/types.run deleted file mode 100644 index e69de29..0000000 --- a/ci/expected/types.run +++ /dev/null |