A Toolkit for Automated Testing of Dafny
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7310719
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-01-06
