equal
deleted
inserted
replaced
855 def main(args: Array[String]) { |
855 def main(args: Array[String]) { |
856 //println(S.toString) |
856 //println(S.toString) |
857 //find_re() |
857 //find_re() |
858 //tellmewhy() |
858 //tellmewhy() |
859 //correctness_proof_convenient_path() |
859 //correctness_proof_convenient_path() |
860 //tellmewhy() |
860 tellmewhy() |
861 have_fun() |
861 //have_fun() |
862 //string_der_test() |
862 //string_der_test() |
863 //comp(rd_string_gen(3,6).toList, random_struct_gen(7)) |
863 //comp(rd_string_gen(3,6).toList, random_struct_gen(7)) |
864 //newxp1() |
864 //newxp1() |
865 //contains7() |
865 //contains7() |
866 //retrieve_encode_STARS() |
866 //retrieve_encode_STARS() |