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 ]