A Toolkit for Automated Testing of Dafny
收藏数据链接：
官方服务：
资源简介：
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创建时间：
2022-11-10
