/Chalice/tests/test-scripts/
../
diff.bat
generate_reference.bat
generate_reference_all.bat
getboogieoutput.bat
reg_test.bat
reg_test_all.bat
test.bat