<div dir="auto">Так, что у нас есть на текущий момент?<div dir="auto"><br></div><div dir="auto">В репозитории есть код на плюсах, который (вероятнее всего), выполняет проверку эквивалентности двух сса форм, одна из которых заведомо верная, следующим образом: проверка не заведомл верной на то, что каждое имя в ней определено один раз, проверка эквивалентности программ(количество блоков, количество инструкций в каждом блоке, сами инструкции, переменна, в которую уходит результат, тип её, переменные/константы - аргументы) и проверка на соответствие переменных с разными именама. Затем проверка на эквивалентность сса форм, а именно проверка совпадения кол-ва и качества фи-функций. По сути, если правильно впихнуть это в ежуж, то должно заработать. </div><div dir="auto"><br></div><div dir="auto">Так же есть десяток тестов: исходная программа и две её сса-формы, в одной из которых поменены местами фи-функции и аргументы.</div><div dir="auto"><br></div><div dir="auto">Плюс Саня сейчас пытается понять, можно ли адекватно переписать парсер, чтобы исправленную qbe можно было дать испытуемому, чтобы у него не возникло особых проблем с написанием решения.</div><div dir="auto"><br></div><div dir="auto">Если что-то забыл, напишите.</div><div dir="auto"><br></div><div dir="auto">Что нам надо: <s>шоколада</s></div><div dir="auto">Ещё немного тестов для каждого тестового случая, чтобы сса-форма была похожа на правду, но верной не была, чтобы проверить возможность чекера вычислять и неверные случаи.</div><div dir="auto">Этим в принципе я могу заняться.</div><div dir="auto"><br></div><div dir="auto">Ну и эталонное решение, но это, скдя по всему, пока ждёт, потому что с парсером не разобрались.</div><div dir="auto"><br></div><div dir="auto">Ну и в ежуж это всё пихать - та ещё головная боль</div></div>