main_marking5/bf_test3.scala
changeset 392 e776db3c808b
child 421 864107857d27
equal deleted inserted replaced
391:048fc6b70776 392:e776db3c808b
       
     1 import CW10a._
       
     2 
       
     3 assert(jumpRight("[xxxxxx]xxx", 1, 0) == 8)
       
     4 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)
       
     7 assert(jumpRight("[x[][]x]xxx", 1, 0) == 8)
       
     8 assert(jumpLeft("[xxxxxx]xxx", 6, 0) == 1)
       
     9 assert(jumpLeft("[xxxxxx]xxx", 7, 0) == -1)
       
    10 assert(jumpLeft("[x[][]x]xxx", 6, 0) == 1)