/Test/
../
VSComp2010
VSI-Benchmarks
VerifyThis2015
clean.py
cloudmake
dafny0
dafny1
dafny2
dafny3
dafny4
hofs
irondafny0
lit.site.cfg
pydiff.py
runTests.bat
runTests.py
vacid0
vstte2012