Код к лекции 08

Используйте эту папку для примеров:

• гейтинг по состоянию passing
• сквозная верификация
• слабые против строгих критериев завершения
• примеры evaluator-loop