zenodoopen
A Toolkit for Automated Testing of Dafny
<p>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.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0