equal
deleted
inserted
replaced
373 // python tests |
373 // python tests |
374 println(size(WHILE_REGS)) |
374 println(size(WHILE_REGS)) |
375 println(size(ders_simp("r".toList, WHILE_REGS))) |
375 println(size(ders_simp("r".toList, WHILE_REGS))) |
376 println(size(ID)) |
376 println(size(ID)) |
377 println(size(ders_simp("read".toList, ID))) |
377 println(size(ders_simp("read".toList, ID))) |
|
378 |
|
379 |
|
380 |
|
381 // for automated testing |
|
382 |
|
383 @main |
|
384 def main(file: String) = { |
|
385 // empty - nothing to run |
|
386 } |
|
387 |
|
388 @main |
|
389 def test(file: String) = { |
|
390 val contents = os.read(os.pwd / file) |
|
391 tokenise(contents) |
|
392 } |
|
393 |
|
394 |