score¶
Run the SRComp Scorer UI. Requires sr.comp.scorer
to be installed.
usage: srcomp score [-h] [-p] compstate
Positional Arguments¶
- compstate
competition state repository
Named Arguments¶
- -p, --push-changes
send commits upstream to origin/master
Default: False