diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-02-11 21:27:25 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-02-11 21:27:25 -0800 |
| commit | 8b95a1be65b857b1a48e93a2ac8223253315a332 (patch) | |
| tree | ecbc81d13d1d917af301c53cc1aed52ec74029ec /baremetal/400.mu | |
| parent | 8bb22dcb0a3819c1cc22299aec8126a701a3267d (diff) | |
| download | mu-8b95a1be65b857b1a48e93a2ac8223253315a332.tar.gz | |
7726
Diffstat (limited to 'baremetal/400.mu')
| -rw-r--r-- | baremetal/400.mu | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/baremetal/400.mu b/baremetal/400.mu index 3a5e2174..2a08afe9 100644 --- a/baremetal/400.mu +++ b/baremetal/400.mu @@ -17,6 +17,10 @@ sig check-strings-equal s: (addr array byte), expected: (addr array byte), msg: # streams sig clear-stream f: (addr stream _) sig rewind-stream f: (addr stream _) +sig stream-data-equal? f: (addr stream byte), s: (addr array byte) -> _/eax: boolean +sig check-stream-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte) +sig next-stream-line-equal? f: (addr stream byte), s: (addr array byte) -> _/eax: boolean +sig check-next-stream-line-equal f: (addr stream byte), s: (addr array byte), msg: (addr array byte) sig write f: (addr stream byte), s: (addr array byte) sig read-byte s: (addr stream byte) -> _/eax: byte sig append-byte f: (addr stream byte), n: int |