Published November 10, 2022
| Version v2
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. The artifact should be executed on the virtual machine provided together with the testing toolkit.
Files
LICENSE.txt
Files
(7.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:26ef2cce28b41c7b737d377657219578
|
1.4 GB | Download |
|
md5:d4108a55d39e733a94dc61047a8fd3c6
|
862 Bytes | Download |
|
md5:b20101e26de8aa8e57f590190772f356
|
456 Bytes | Preview Download |
|
md5:94662018d261b3cffa9c7f7ae6f792ef
|
10.3 kB | Preview Download |
|
md5:22f71cee03b34ae2488fdb7570e4f44d
|
5.8 GB | Download |