Верификатор гипотез

[mathhyyn]

Синтаксис еще не согласован.. Пример:

Verify (Equal (Ambiguity.Glushkov.Arden.Glushkov *) (Ambiguity.Glushkov *))

* - место для вставки рандомных регулярок

TODO:

• [x] подсчет доли положительных результатов
• [x] запоминать первые 10% (мб первые 10 штук) регулярок, на которых результат отрицательный
• [x] придумать, как вырубать логи интерпретатора при работе верификатора
• [ ] менять параметры регулярок после каждой трети пройденных тестов (например)
• [ ] шаблон для логгера 😢