This package contains test-cases for the test-case generator based on the model checker.