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