Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add -j flag for multi-threaded validation #263

Merged
merged 3 commits into from
Jun 7, 2024

Conversation

simonlindholm
Copy link
Member

Only parallelizes test case execution and submission compilation at the moment; input validation could be added with a bit of additional work, but it felt less important to me since it takes almost no time with validators written in C++ as we usually have it.

mypy is happy with the refactoring and I've done some lightweight testing, but it's possible that there's some breakage along less happy paths, though probably restricted to -j.

Copy link
Contributor

@Tagl Tagl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good suggestion! Why the letter j? Just because t is in use?

problemtools/run/__init__.py Show resolved Hide resolved
problemtools/run/buildrun.py Show resolved Hide resolved
problemtools/run/checktestdata.py Show resolved Hide resolved
problemtools/run/program.py Show resolved Hide resolved
problemtools/run/program.py Show resolved Hide resolved
problemtools/verifyproblem.py Show resolved Hide resolved
problemtools/verifyproblem.py Show resolved Hide resolved
problemtools/verifyproblem.py Show resolved Hide resolved
problemtools/verifyproblem.py Show resolved Hide resolved
problemtools/verifyproblem.py Show resolved Hide resolved
@simonlindholm
Copy link
Member Author

Good suggestion! Why the letter j? Just because t is in use?

-j is the customary flag for threading. Also used by e.g. make, and by generatedata.py in this repo.

@pehrsoderman pehrsoderman merged commit 221c932 into Kattis:develop Jun 7, 2024
3 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.

3 participants