1open HolKernel Parse;
2
3val _ = Portable.catch_SIGINT()
4
5val result =
6    test_cases.perform_tests Cooper.COOPER_CONV Cooper.COOPER_TAC andalso
7    test_cases.perform_cooper_tests Cooper.COOPER_CONV
8val _ =
9    case CommandLine.arguments() of
10      [] => ()
11    | _ => Profile.print_profile_results (Profile.results())
12
13val _ = Process.exit (if result then Process.success else Process.failure)
14