1 # To check our support for consoles in scenarios, rewrite tests from 2 # scenario_console.mu 3 # Tests for console interface. 4 5 scenario read-key-in-mu [ 6 assume-console [ 7 ¦ type [abc] 8 ] 9 run [ 10 ¦ 1:char, 2:bool <- read-key console 11 ¦ 3:char, 4:bool <- read-key console 12 ¦ 5:char, 6:bool <- read-key console 13 ¦ 7:char, 8:bool <- read-key console 14 ] 15 memory-should-contain [ 16 ¦ 1 <- 97 # 'a' 17 ¦ 2 <- 1 18 ¦ 3 <- 98 # 'b' 19 ¦ 4 <- 1 20 ¦ 5 <- 99 # 'c' 21 ¦ 6 <- 1 22 ¦ 7 <- 0 # eof 23 ¦ 8 <- 1 24 ] 25 ]