标签: dafny
我遇到了这个错误
错误:除非为数组元素提供了初始化程序
我找不到此错误的解决方案。
我的示例代码:
class MyProblem { method Main() { var UserArray := new User[5]; } } class User { var id : int; var phone : int; }
谢谢。