Skip to content

Extract validator models - #473

Merged
pehrsoderman merged 4 commits into
Kattis:masterfrom
gkreitz:extract_validator_models
Aug 27, 2026
Merged

Extract validator models#473
pehrsoderman merged 4 commits into
Kattis:masterfrom
gkreitz:extract_validator_models

Conversation

@gkreitz

@gkreitz gkreitz commented Aug 27, 2026

Copy link
Copy Markdown
Contributor

Same story as with other extractions from verifyproblem - this PR extracts model + checks for input and output validators.

As in prior PR:s, checks were extracted from verifyproblem with minimal changes (even parts which no longer make much sense). Some helper functions were also temporarily copied into checks (again, in the same spirit).

Having models for input and output validators allow us to skip some callable arguments to test case checking, so I cleaned that up here too.

Progress on #398

@pehrsoderman
pehrsoderman merged commit 3f793fc into Kattis:master Aug 27, 2026
7 checks passed
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