Closed meisterT closed 2 months ago
LGTM, I assume you tested this with doing a replay of an old contest?
I did some limited testing on a few interactive and non-interactive problems so far, but I would like to do more testing before merging.
I did now a replay of a contest with ~1000 submissions. There was a single submission where the verdict changed and it was random (with main
and this PR).
This is the next steps of merging runguard and runpipe (https://docs.google.com/document/d/1WZRwdvJUamsczYC7CpP3ZIBU8xG6wNqYqrNJf7osxYs/edit).
No functional changes intended. Small commits so it should be easy-ish to follow.