ggp-org/ggp-base — pull request #5 by fhars (2013-10-14 20:53:33+00:00)
Title: test prover on exercise 2.1

Prof. Genesereth is adamant that the answers accepted as correct in
https://class.coursera.org/ggp-001/quiz/start?quiz_id=27 are in fact
the correct answers, so whatever bug in the ProverStateMachine that
makes these threee tests fail should be fixed.