Skip to content

Remap OLE and MLE when checking submission results - #512

Open
gkreitz wants to merge 1 commit into
Kattis:masterfrom
gkreitz:remap_status_for_permitted_requires_rules
Open

gkreitz wants to merge 1 commit into
Kattis:masterfrom
gkreitz:remap_status_for_permitted_requires_rules

Conversation

@gkreitz

@gkreitz gkreitz commented Oct 28, 2026

Copy link
Copy Markdown
Contributor

When setting up rules for submissions, it's impossible to express other verdicts than AC, RTE, TLE, WA. After discussions in Kattis/problem-package-format#616 it's clear to me that the intent was for other statuses to be remapped to those. This PR does that.

This also gets backported for legacy - now an MLE is fine in the run_time_error directory (and OLE in wrong_answer). I think the sole reason people have not complained about this earlier is that problemtools currently is pretty bad at detecting MLE:s. :)

Bonus: fixes the type annotation of SubmissionResult.verdict to be a Verdict.

@mzuenni

mzuenni commented Oct 28, 2026

Copy link
Copy Markdown
Contributor

I think the sole reason people have not complained about this earlier is that problemtools currently is pretty bad at detecting MLE:s.

does problemtools detect MLE at all?

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants