Coming soon — статья готовится. Ниже — её вопрос, результат и место в общей истории.
Вопрос статьи
Как сформулировать инвариант для генерации property-based примеров?
Что разберём
Сформулировать инвариант для генерации property-based примеров.
Что нужно знать заранее
Предварительно разобраны: Границы unit-теста.