Генерация тестов круиз-контроля

Этот пример показывает, как сгенерировать тесты, которые достигают полного покрытия модели.