A Toolkit for Automated Testing of Dafny
收藏Zenodo2023-01-06 更新2026-05-26 收录
下载链接：
https://zenodo.org/record/7508667
下载链接
链接失效反馈官方服务：
资源简介：
This artifact presents DUnit, DMOck, and DTest, the three components of the testing toolkit developed for the Dafny programming language. The artifact should be executed on the virtual machine provided together with the testing toolkit.
提供机构：
Zenodo创建时间：
2023-01-06
