main_marking5/bf_test3.scala
changeset 424 daf561a83ba6
parent 392 97ecdc8cb61b
child 463 0315d9983cd0
equal deleted inserted replaced
423:e9d14d58be3c 424:daf561a83ba6
     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)