This package contains test-cases for the model checker.