/Chalice/tests/test-scripts/

• ../
• diff.bat
• generate_reference.bat
• generate_reference_all.bat
• getboogieoutput.bat
• readme.txt
• reg_test.bat
• reg_test_all.bat
• test.bat