OnionGrief / Chipollino

преобразования регулярных выражений и конечных автоматов
Other
18 stars 4 forks source link

Обновленный верификатор (#223) #333

Closed mathhyyn closed 3 months ago

mathhyyn commented 4 months ago

Теперь в дополнение к простой звездочке (рандомной регулярке) добавились новые типы:

Пример: Verify (Equal *NFA *NFA) А еще можно рандомные объекты использовать вне верификатора: (для тех кому лень придумывать тест) Glushkov * !! Одновременно разные типы тоже можно использовать в одном тесте: Verify (Equal *NFA *DFA)

Вывод негативных тестов временно отключен