# To check our support for consoles in scenarios, rewrite tests from # scenario_console.mu # Tests for console interface. scenario read-key-in-mu [ assume-console [ type [abc] ] run [ 1:char, console:&:console, 2:bool <- read-key console:&:console 3:char, console:&:console, 4:bool <- read-key console:&:console 5:char, console:&:console, 6:bool <- read-key console:&:console 7:char, console:&:console, 8:bool <- read-key console:&:console ] memory-should-contain [ 1 <- 97 # 'a' 2 <- 1 3 <- 98 # 'b' 4 <- 1 5 <- 99 # 'c' 6 <- 1 7 <- 0 # eof 8 <- 1 ] ]