LuNA-Static-Analysis / LuNA-Static-Analysis-Repository

1 stars 0 forks source link

[Model checking] Поддержка строковых литералов в условиях if и while #141

Open VaccinoPower opened 5 months ago

VaccinoPower commented 5 months ago

Реализовать поддержку строковых литералов в условиях if, while

Возможное решение: Необходимо расширить возможности парсера для обработки строковых литералов в условиях. Стоит также проверить корректную работу для комбинаций строк и чисел.