validate¶
Check that the compstate can be loaded and represents a valid state.
usage: srcomp validate [-h] [-l] compstate
Positional Arguments¶
- compstate
competition state repository
Named Arguments¶
- -l, --lax
only check if it loads, rather than run a validation
Default: False