Dafny Checker

描述: Check that Dafny code passes the verifier, without executing the code.
无 API 验证