update-layout

Update the layout based on a list of teams.

The user is responsible for ensuring that the ordering and groupings are correct in the layout _before_ running this. Groups of teams in the original are simply replaced with equivalently sized groups. Any excess teams in the list are added to the final group.

usage: srcomp update-layout [-h] compstate teams_list

Positional Arguments

compstate

competition state repository

teams_list

file containing the list of teams