main_marking5/bf_test3.scala
changeset 421 864107857d27
parent 392 e776db3c808b
child 460 f5c0749858fd
equal deleted inserted replaced
420:a6db2b70abdd 421:864107857d27
     1 import CW10a._
     1 import M5a._
     2 
     2 
     3 assert(jumpRight("[xxxxxx]xxx", 1, 0) == 8)
     3 assert(jumpRight("[xxxxxx]xxx", 1, 0) == 8)
     4 assert(jumpRight("[xx[x]x]xxx", 1, 0) == 8)
     4 assert(jumpRight("[xx[x]x]xxx", 1, 0) == 8)
     5 assert(jumpRight("[xx[x]x]xxx", 1, 0) == 8)  
     5 assert(jumpRight("[xx[x]x]xxx", 1, 0) == 8)  
     6 assert(jumpRight("[xx[xxx]xxx", 1, 0) == 11)
     6 assert(jumpRight("[xx[xxx]xxx", 1, 0) == 11)