From 8b95a1be65b857b1a48e93a2ac8223253315a332 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 11 Feb 2021 21:27:25 -0800 Subject: 7726 --- baremetal/400.mu | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'baremetal/400.mu') 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 -- cgit 1.4.1-2-gfad0