avandeursen/jpacman-framework — pull request #7 by avandeursen (2013-02-07 20:31:57+00:00)
Title: Start upon won/lost does not invalidate invariant anymore.

Solves issue #6