ia-toki/judgels

Support other rounding method when summing subtask points

Opened this issue · 0 comments

fushar commented

The total points of a problem is always an integer. Currently, we round the score as follows:

judgels/judgels-backends/judgels-grader-engines/src/main/java/judgels/gabriel/engines/BlackboxGradingEngine.java

Line 338 in fa65e13

.score((int) Math.round(gradingVerdict.getPoints()))

We want to support the case where we want to take the floor of the sum, not the rounded sum.

See also: