WDF is the format, and TestSuite.txt is the filename.  I can specify a different filename.  I haven't figured out what the different options for the format are, though.