Skip to content

Extract submissions model - #471

Merged
gkreitz merged 6 commits into
Kattis:masterfrom
gkreitz:extract_submissions_model
Aug 26, 2026
Merged

Extract submissions model#471
gkreitz merged 6 commits into
Kattis:masterfrom
gkreitz:extract_submissions_model

Conversation

@gkreitz

@gkreitz gkreitz commented Aug 26, 2026

Copy link
Copy Markdown
Contributor

Extracting the next part of verifyproblem - submissions into model + checks. Adds some very mild plumbing in the form of a LegacyPolicy (should perhaps be renamed to something with "expectations" as that seems to have been the working name for what became submissions.yaml), where the idea is to eventually adjust the interface to be able to represent submissions.yaml.

I think the check code for submissions can be rewritten a bit (e.g., utilizing the policy in a better way), but I intentionally kept it as close as possible while lifting it out of verifyproblem to at least somewhat facilitate reviewing (though, lifting out large code blocks with some changes is not very conductive to reviewing).

Progress on #398

@gkreitz

gkreitz commented Aug 26, 2026

Copy link
Copy Markdown
Contributor Author

Lol, I was using the bad example in different to verify that the checks now flagged it as an error. Forgot to remove it in the PR. Now this removes the example submission in different in a directory which does not match the spec (slow_accepted).

Comment thread problemtools/checks/submissions.py
Comment thread problemtools/model/submissions.py
Comment thread problemtools/checks/submissions.py
@gkreitz
gkreitz merged commit 562c579 into Kattis:master Aug 26, 2026
7 checks passed
meisterT added a commit to meisterT/domjudge that referenced this pull request Aug 29, 2026
The bad file has been deleted as part of Kattis/problemtools#471
meisterT added a commit to DOMjudge/domjudge that referenced this pull request Aug 30, 2026
The bad file has been deleted as part of Kattis/problemtools#471

(cherry picked from commit dadc81f)
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