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