From 98851186a7b5ddcfd91a3021d0cbb2ec80c50321 Mon Sep 17 00:00:00 2001 From: Filippo Casarin Date: Tue, 5 Dec 2023 03:47:05 +0100 Subject: [PATCH] Support cms names for score_type --- task-maker-format/src/ioi/mod.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/task-maker-format/src/ioi/mod.rs b/task-maker-format/src/ioi/mod.rs index cfc9eef8c..2ef851983 100644 --- a/task-maker-format/src/ioi/mod.rs +++ b/task-maker-format/src/ioi/mod.rs @@ -521,8 +521,9 @@ impl FromStr for TestcaseScoreAggregator { fn from_str(s: &str) -> Result { match s { - "min" => Ok(TestcaseScoreAggregator::Min), - "sum" => Ok(TestcaseScoreAggregator::Sum), + "min" | "GroupMin" => Ok(TestcaseScoreAggregator::Min), + "sum" | "Sum" => Ok(TestcaseScoreAggregator::Sum), + "GroupMul" | "GroupThreshold" => bail!("{s} is not supported yet"), _ => bail!("Invalid testcase score aggregator: {}", s), } }