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