ggp-org/ggp-base — pull request #22 by SteveDraper (2013-10-26 00:10:41+00:00)
Title: Simple app to validate state machine implementations

Walks through the games in the repository, validating each one in a test
state machine against a reference prover statemachine