search

srobo / tasks

Collects all the tasks which we want to work on.
https://github.com/srobo/tasks/issues
1 stars 0 forks source link

Create Scoring Logic #111

Closed mildlyincompetent closed 5 years ago

mildlyincompetent commented 5 years ago

Related to #109, though underlying it, and #119 we need an automated scorer which reads the input match states and scores them. See https://github.com/PeterJCLaw/srcomp/wiki/Competition-Preparation#implement-scorepy for details of the API.

PeterJCLaw commented 5 years ago

Blocked on knowing the input format (decided by #108 after sorting #109).