equal
deleted
inserted
replaced
306 //println(time_needed(1, run4(load_bff("mandelbrot.bf")))) |
306 //println(time_needed(1, run4(load_bff("mandelbrot.bf")))) |
307 |
307 |
308 |
308 |
309 } |
309 } |
310 |
310 |
311 |
311 /* |
312 import CW10b._ |
312 import CW10b._ |
313 println(time_needed(1, run(load_bff("collatz.bf")))) |
313 println(time_needed(1, run(load_bff("collatz.bf")))) |
314 println(time_needed(1, run2(load_bff("collatz.bf")))) |
314 println(time_needed(1, run2(load_bff("collatz.bf")))) |
315 println(time_needed(1, run3(load_bff("collatz.bf")))) |
315 println(time_needed(1, run3(load_bff("collatz.bf")))) |
316 println(time_needed(1, run4(load_bff("collatz.bf")))) |
316 println(time_needed(1, run4(load_bff("collatz.bf")))) |
|
317 */ |