dafny 断言违反了使用顺序
dafny assert violated using sequence
这是愚蠢的代码，第二个断言永远不会通过，谁能帮帮我？ enter link description here
如果你只使用 s[1..] 而不是等效的 s[1..|s|]，Dafny 似乎会更轻松。更新版本位于 http://rise4fun.com/Dafny/1AQN.
这是愚蠢的代码，第二个断言永远不会通过，谁能帮帮我？ enter link description here
如果你只使用 s[1..] 而不是等效的 s[1..|s|]，Dafny 似乎会更轻松。更新版本位于 http://rise4fun.com/Dafny/1AQN.