1
ответ

Почему проверка этого примера с Dafny не удалась?

Это пример для изучения Дафни. метод test5 (x: массив < int >, y: массив < int >, n: int) требует 0 < = n требует 0 < x.Длина требует 0 < y.Длина требует x [0] == y [0]; требует (x [0] > ...
вопрос задан: 7 March 2019 01:53
1
ответ

отсутствует инвариант в дафном коде, включающем последовательности

Мне интересно, есть ли причина, по которой dafny не может проверить мою программу? https://rise4fun.com/Dafny/Ip1s Я пропустил какой-то дополнительный инвариант?
вопрос задан: 19 January 2019 07:51
0
ответов

Ошибка: если для элементов массива не предусмотрен инициализатор

Я столкнулся с этой ошибкой Ошибка: если для элементов массива не предусмотрен инициализатор, я не смог найти решение этой ошибки. Мой пример кода: class MyProblem {method Main () {...
вопрос задан: 13 July 2018 15:08