/Test/
../
Makefile
VSComp2010
VSI-Benchmarks
alltests.txt
cloudmake
dafny0
dafny1
dafny2
dafny3
dafny4
runtest.bat
runtestall.bat
vacid0
vstte2012