pub async fn execute<'a, B, E, I, O>( base: B, exec_path: E, args: Option<&'a [&'a str]>, options: &'a JudgeOptions, case: TestCase<I, O>, output_file: O, ) -> Result<JudgeResult>where B: Into<PathBuf>, E: AsRef<str>, I: Into<PathBuf>, O: Into<PathBuf>,