summaryrefslogtreecommitdiff
path: root/Test/dafnytests.txt
blob: 2b457c9114240c123af93f4c280af1dd45ef0989 (plain)
1
2
3
4
5
6
7
dafny0           Use    Dafny functionality tests
dafny1           Use    Various Dafny examples
dafny2           Use    More Dafny examples
VSI-Benchmarks   Use    Solutions to Verified Software Initiative verification challenges
vacid0           Use    Dafny attempts to VACID Edition 0 benchmarks
vstte2012        Use    Dafny solutions for the VSTTE 2012 program verification competition
VSComp2010       Use    Dafny solutions to VSComp (verified software competition) problems