public static void main() throws Exception {
main(new String[] { "tests/meta.g", "tests/testcase.g", "tests/regression.tc" });
public static void main() throws Exception {
main(new String[] { "tests/meta.g", "tests/testcase.g", "tests/regression.tc" });