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