Здравствуйте, ·, Вы писали:

P>>·>Корректность семантики проверить тестами невозможно.
P>>Именно так. Потому ваши утверждения про тесты можно повычеркивать.
·>Какие же именно _мои утверждения_? Цитаты, ты конечно, не сможешь привести.

Смотрите что сами пишете — выполнимость конкретного сценария.