dafny

0зной

1ответ

Я новичок в Dafny, и у меня проблемы с проверкой моей вставки. Dafny говорит, что мультисети-инварианты не удерживаются, что-то еще работает нормально. После часа поиска ошибки мне понадобится помощь