/Test/
../
Makefile
VSComp2010
VSI-Benchmarks
alltests.txt
clean.py
cloudmake
dafny0
dafny1
dafny2
dafny3
dafny4
lit.site.cfg
pydiff.py
runtest.bat
runtestall.bat
vacid0
vstte2012