Open fushar opened 2 months ago
The total points of a problem is always an integer. Currently, we round the score as follows:
https://github.com/ia-toki/judgels/blob/fa65e13d6096a69aee11005759758b18c4bd56c4/judgels-backends/judgels-grader-engines/src/main/java/judgels/gabriel/engines/BlackboxGradingEngine.java#L338
We want to support the case where we want to take the floor of the sum, not the rounded sum.
See also:
The total points of a problem is always an integer. Currently, we round the score as follows:
https://github.com/ia-toki/judgels/blob/fa65e13d6096a69aee11005759758b18c4bd56c4/judgels-backends/judgels-grader-engines/src/main/java/judgels/gabriel/engines/BlackboxGradingEngine.java#L338
We want to support the case where we want to take the floor of the sum, not the rounded sum.
See also: