Published November 10, 2022
| Version v1
Dataset
Open
A Toolkit for Automated Testing of Dafny
Authors/Creators
- 1. Tufts University
- 2. Brigham Young University
- 3. Amazon Web Services
Description
This artifact presents DUnit, DMOck, and DTest, the three components of the testing toolkit developed for the Dafny programming language.
Files
archive.zip
Files
(1.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:272527e393bdca43b087cfd39ab057d0
|
1.4 GB | Preview Download |