equal
deleted
inserted
replaced
578 printf("%d %d\n",i, asize(ders_simp( internalise(r), s.toList))) |
578 printf("%d %d\n",i, asize(ders_simp( internalise(r), s.toList))) |
579 //println(asize(ders_simp( internalise(r), s.toList))) |
579 //println(asize(ders_simp( internalise(r), s.toList))) |
580 } |
580 } |
581 } |
581 } |
582 |
582 |
|
583 def speed_test(){ |
|
584 val s0 = "a"*1000 |
|
585 val r = SEQ(STAR("a"), "b") |
|
586 for(i <- 1 to 30){ |
|
587 val s = s0*i |
|
588 val start = System.nanoTime() |
|
589 try{ |
|
590 blex_simp(internalise(r), s.toList) |
|
591 } |
|
592 catch{ |
|
593 case x: Exception => |
|
594 } |
|
595 val end = System.nanoTime() |
|
596 printf("%d %f\n",i, (end - start)/1.0e9) |
|
597 } |
|
598 } |
583 def main(args: Array[String]) { |
599 def main(args: Array[String]) { |
584 //check_all() |
600 //check_all() |
585 //radical_correctness() |
601 //radical_correctness() |
586 //correctness_proof_convenient_path() |
602 //correctness_proof_convenient_path() |
587 //retrieve_experience() |
603 //retrieve_experience() |
588 //neat_retrieve() |
604 //neat_retrieve() |
589 //test_bsimp2() |
605 //test_bsimp2() |
590 christian_def2() |
606 //christian_def2() |
591 //christian_def() |
607 //christian_def() |
592 //essence_posix() |
608 //essence_posix() |
|
609 speed_test() |
593 } |
610 } |
594 } |
611 } |
595 |
612 |