chiark / gitweb /
Validation of random-state-type game descriptions was broken. This