diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-17 21:12:31 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-17 21:12:31 -0700 |
commit | 03880ba6ba314382fbb577da6003e590361fb8d9 (patch) | |
tree | 2245f2d9b54814c150f452276b37e9e708a4ce4a | |
parent | 1b34ddfe1930ea828edbe6dc17219065f2ff9212 (diff) | |
download | mu-03880ba6ba314382fbb577da6003e590361fb8d9.tar.gz |
2788
-rw-r--r-- | 072channel.mu | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/072channel.mu b/072channel.mu index 8e9b9d95..95641fb4 100644 --- a/072channel.mu +++ b/072channel.mu @@ -319,27 +319,27 @@ scenario buffer-lines-blocks-until-newline [ 1:address:shared:channel:character/stdin <- new-channel 10/capacity 2:address:shared:channel:character/buffered-stdin <- new-channel 10/capacity 3:boolean <- channel-empty? 2:address:shared:channel:character/buffered-stdin - assert 3:boolean, [ + assert 3:boolean, [ F buffer-lines-blocks-until-newline: channel should be empty after init] # buffer stdin into buffered-stdin, try to read from buffered-stdin 4:number/buffer-routine <- start-running buffer-lines, 1:address:shared:channel:character/stdin, 2:address:shared:channel:character/buffered-stdin wait-for-routine 4:number/buffer-routine 5:boolean <- channel-empty? 2:address:shared:channel:character/buffered-stdin - assert 5:boolean, [ + assert 5:boolean, [ F buffer-lines-blocks-until-newline: channel should be empty after buffer-lines bring-up] # write 'a' 1:address:shared:channel:character <- write 1:address:shared:channel:character, 97/a restart 4:number/buffer-routine wait-for-routine 4:number/buffer-routine 6:boolean <- channel-empty? 2:address:shared:channel:character/buffered-stdin - assert 6:boolean, [ + assert 6:boolean, [ F buffer-lines-blocks-until-newline: channel should be empty after writing 'a'] # write 'b' 1:address:shared:channel:character <- write 1:address:shared:channel:character, 98/b restart 4:number/buffer-routine wait-for-routine 4:number/buffer-routine 7:boolean <- channel-empty? 2:address:shared:channel:character/buffered-stdin - assert 7:boolean, [ + assert 7:boolean, [ F buffer-lines-blocks-until-newline: channel should be empty after writing 'b'] # write newline 1:address:shared:channel:character <- write 1:address:shared:channel:character, 10/newline @@ -347,7 +347,7 @@ F buffer-lines-blocks-until-newline: channel should be empty after writing 'b'] wait-for-routine 4:number/buffer-routine 8:boolean <- channel-empty? 2:address:shared:channel:character/buffered-stdin 9:boolean/completed? <- not 8:boolean - assert 9:boolean/completed?, [ + assert 9:boolean/completed?, [ F buffer-lines-blocks-until-newline: channel should contain data after writing newline] trace 1, [test], [reached end] ] |