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

1 stars 0 forks source link

починить Дегсу: enterVF() и связь между слоями #3

Closed VTsarevNSU closed 12 months ago

VTsarevNSU commented 1 year ago

целиком переписал enterVF (т.е. функцию порождения вершин) с серьёзными изменениями в деталях алгоритма; на моём тесте с глубиной вершин в 4 всё порождается и связывается правильно; пока что не все крайние случаи обработаны, необходимо тестировать дальше; также пока что игнорируются объявленные внутри подпрограмм аргументы

VTsarevNSU commented 12 months ago

проверка что такое "закрыть задачу"