diff options
Diffstat (limited to 'ci/expected/baseline.run')
| -rw-r--r-- | ci/expected/baseline.run | 4 |
1 files changed, 0 insertions, 4 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 |