Генерация тестов покрытия модели

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