From 83edf90dc3a697a412f733786cbcfbb4ec4c649b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 9 Mar 2016 19:23:44 -0800 Subject: 2749 --- chessboard.mu | 24 ++++++++++++------------ html/chessboard.mu.html | 48 ++++++++++++++++++++++++------------------------ 2 files changed, 36 insertions(+), 36 deletions(-) diff --git a/chessboard.mu b/chessboard.mu index 9f73561e..0f400157 100644 --- a/chessboard.mu +++ b/chessboard.mu @@ -386,7 +386,7 @@ scenario read-move-blocking [ wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-blocking: routine failed to pause after coming up (before any keys were pressed)] # press 'a' 1:address:shared:channel <- write 1:address:shared:channel, 97/a @@ -395,7 +395,7 @@ F read-move-blocking: routine failed to pause after coming up (before any keys w wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-blocking: routine failed to pause after rank 'a'] # press '2' 1:address:shared:channel <- write 1:address:shared:channel, 50/'2' @@ -404,7 +404,7 @@ F read-move-blocking: routine failed to pause after rank 'a'] wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-blocking: routine failed to pause after file 'a2'] # press '-' 1:address:shared:channel <- write 1:address:shared:channel, 45/'-' @@ -413,7 +413,7 @@ F read-move-blocking: routine failed to pause after file 'a2'] wait-for-routine 2:number 3:number <- routine-state 2:number 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?/routine-state, [ + assert 4:boolean/waiting?/routine-state, [ F read-move-blocking: routine failed to pause after hyphen 'a2-'] # press 'a' 1:address:shared:channel <- write 1:address:shared:channel, 97/a @@ -422,7 +422,7 @@ F read-move-blocking: routine failed to pause after hyphen 'a2-'] wait-for-routine 2:number 3:number <- routine-state 2:number 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?/routine-state, [ + assert 4:boolean/waiting?/routine-state, [ F read-move-blocking: routine failed to pause after rank 'a2-a'] # press '4' 1:address:shared:channel <- write 1:address:shared:channel, 52/'4' @@ -431,7 +431,7 @@ F read-move-blocking: routine failed to pause after rank 'a2-a'] wait-for-routine 2:number 3:number <- routine-state 2:number 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-blocking: routine failed to pause after file 'a2-a4'] # press 'newline' 1:address:shared:channel <- write 1:address:shared:channel, 10 # newline @@ -440,7 +440,7 @@ F read-move-blocking: routine failed to pause after file 'a2-a4'] wait-for-routine 2:number 3:number <- routine-state 2:number 4:boolean/completed? <- equal 3:number/routine-state, 1/completed - assert 4:boolean/completed?, [ + assert 4:boolean/completed?, [ F read-move-blocking: routine failed to terminate on newline] trace 1, [test], [reached end] ] @@ -458,7 +458,7 @@ scenario read-move-quit [ wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-quit: routine failed to pause after coming up (before any keys were pressed)] # press 'q' 1:address:shared:channel <- write 1:address:shared:channel, 113/q @@ -467,7 +467,7 @@ F read-move-quit: routine failed to pause after coming up (before any keys were wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/completed? <- equal 3:number/routine-state, 1/completed - assert 4:boolean/completed?, [ + assert 4:boolean/completed?, [ F read-move-quit: routine failed to terminate on 'q'] trace 1, [test], [reached end] ] @@ -485,7 +485,7 @@ scenario read-move-illegal-file [ wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-file: routine failed to pause after coming up (before any keys were pressed)] 1:address:shared:channel <- write 1:address:shared:channel, 50/'2' restart 2:number/routine @@ -506,7 +506,7 @@ scenario read-move-illegal-rank [ wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-file: routine failed to pause after coming up (before any keys were pressed)] 1:address:shared:channel <- write 1:address:shared:channel, 97/a 1:address:shared:channel <- write 1:address:shared:channel, 97/a @@ -528,7 +528,7 @@ scenario read-move-empty [ wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ + assert 4:boolean/waiting?, [ F read-move-file: routine failed to pause after coming up (before any keys were pressed)] 1:address:shared:channel <- write 1:address:shared:channel, 10/newline 1:address:shared:channel <- write 1:address:shared:channel, 97/a diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index 2f07b96d..c04a31dd 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -414,8 +414,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-blocking: routine failed to pause after coming up (before any keys were pressed)] + assert 4:boolean/waiting?, [ +F read-move-blocking: routine failed to pause after coming up (before any keys were pressed)] # press 'a' 1:address:shared:channel <- write 1:address:shared:channel, 97/a restart 2:number/routine @@ -423,8 +423,8 @@ F read-move-blocking: routine failed to pause after2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-blocking: routine failed to pause after rank 'a'] + assert 4:boolean/waiting?, [ +F read-move-blocking: routine failed to pause after rank 'a'] # press '2' 1:address:shared:channel <- write 1:address:shared:channel, 50/'2' restart 2:number/routine @@ -432,8 +432,8 @@ F read-move-blocking: routine failed to pause after2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-blocking: routine failed to pause after file 'a2'] + assert 4:boolean/waiting?, [ +F read-move-blocking: routine failed to pause after file 'a2'] # press '-' 1:address:shared:channel <- write 1:address:shared:channel, 45/'-' restart 2:number/routine @@ -441,8 +441,8 @@ F read-move-blocking: routine failed to pause after2:number 3:number <- routine-state 2:number 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?/routine-state, [ -F read-move-blocking: routine failed to pause after hyphen 'a2-'] + assert 4:boolean/waiting?/routine-state, [ +F read-move-blocking: routine failed to pause after hyphen 'a2-'] # press 'a' 1:address:shared:channel <- write 1:address:shared:channel, 97/a restart 2:number/routine @@ -450,8 +450,8 @@ F read-move-blocking: routine failed to pause after2:number 3:number <- routine-state 2:number 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?/routine-state, [ -F read-move-blocking: routine failed to pause after rank 'a2-a'] + assert 4:boolean/waiting?/routine-state, [ +F read-move-blocking: routine failed to pause after rank 'a2-a'] # press '4' 1:address:shared:channel <- write 1:address:shared:channel, 52/'4' restart 2:number/routine @@ -459,8 +459,8 @@ F read-move-blocking: routine failed to pause after2:number 3:number <- routine-state 2:number 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-blocking: routine failed to pause after file 'a2-a4'] + assert 4:boolean/waiting?, [ +F read-move-blocking: routine failed to pause after file 'a2-a4'] # press 'newline' 1:address:shared:channel <- write 1:address:shared:channel, 10 # newline restart 2:number/routine @@ -468,8 +468,8 @@ F read-move-blocking: routine failed to pause after2:number 3:number <- routine-state 2:number 4:boolean/completed? <- equal 3:number/routine-state, 1/completed - assert 4:boolean/completed?, [ -F read-move-blocking: routine failed to terminate on newline] + assert 4:boolean/completed?, [ +F read-move-blocking: routine failed to terminate on newline] trace 1, [test], [reached end] ] trace-should-contain [ @@ -486,8 +486,8 @@ F read-move-blocking: routine failed to terminate on newline] wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-quit: routine failed to pause after coming up (before any keys were pressed)] + assert 4:boolean/waiting?, [ +F read-move-quit: routine failed to pause after coming up (before any keys were pressed)] # press 'q' 1:address:shared:channel <- write 1:address:shared:channel, 113/q restart 2:number/routine @@ -495,8 +495,8 @@ F read-move-quit: routine failed to pause after co wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/completed? <- equal 3:number/routine-state, 1/completed - assert 4:boolean/completed?, [ -F read-move-quit: routine failed to terminate on 'q'] + assert 4:boolean/completed?, [ +F read-move-quit: routine failed to terminate on 'q'] trace 1, [test], [reached end] ] trace-should-contain [ @@ -513,8 +513,8 @@ F read-move-quit: routine failed to terminate on 'q'] wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-file: routine failed to pause after coming up (before any keys were pressed)] + assert 4:boolean/waiting?, [ +F read-move-file: routine failed to pause after coming up (before any keys were pressed)] 1:address:shared:channel <- write 1:address:shared:channel, 50/'2' restart 2:number/routine wait-for-routine 2:number @@ -534,8 +534,8 @@ F read-move-file: routine failed to pause after co wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-file: routine failed to pause after coming up (before any keys were pressed)] + assert 4:boolean/waiting?, [ +F read-move-file: routine failed to pause after coming up (before any keys were pressed)] 1:address:shared:channel <- write 1:address:shared:channel, 97/a 1:address:shared:channel <- write 1:address:shared:channel, 97/a restart 2:number/routine @@ -556,8 +556,8 @@ F read-move-file: routine failed to pause after co wait-for-routine 2:number 3:number <- routine-state 2:number/id 4:boolean/waiting? <- equal 3:number/routine-state, 3/waiting - assert 4:boolean/waiting?, [ -F read-move-file: routine failed to pause after coming up (before any keys were pressed)] + assert 4:boolean/waiting?, [ +F read-move-file: routine failed to pause after coming up (before any keys were pressed)] 1:address:shared:channel <- write 1:address:shared:channel, 10/newline 1:address:shared:channel <- write 1:address:shared:channel, 97/a restart 2:number/routine -- cgit 1.4.1-2-gfad0