/Test/

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