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