dafny断言违反错误，不确定原因是什么

问题描述

我对达芙妮很陌生。这里抱怨有一个断言错误：

method Fred () returns (result : int) {
  var number : int;
  result := number * number;
  
  assert result > 0;

}

我试图写一个表示以下语句的断言：任何整数的平方都是非负的

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）