equal
deleted
inserted
replaced
74 println(s"generated $class_name.j file") |
74 println(s"generated $class_name.j file") |
75 val (jasmin_time, _) = |
75 val (jasmin_time, _) = |
76 time_needed(1, os.proc("java", "-jar", "jasmin.jar", s"$class_name.j").call()) |
76 time_needed(1, os.proc("java", "-jar", "jasmin.jar", s"$class_name.j").call()) |
77 println(s"generated $class_name.class file (in $jasmin_time secs).") |
77 println(s"generated $class_name.class file (in $jasmin_time secs).") |
78 val (running_time, output) = |
78 val (running_time, output) = |
79 time_needed(1, os.proc("java", s"${class_name}/${class_name}").call().out.text()) |
79 time_needed(1, os.proc("java", s"${class_name}/${class_name}").call(stdout = os.Inherit, stdin = os.Inherit).out.text()) |
80 println(output) |
80 println(output) |
81 println(s"done (in $running_time secs).") |
81 println(s"done (in $running_time secs).") |
82 } |
82 } |
83 |
83 |
84 |
84 |