to be passed to regrtest.py. Also add -h for help, and summarize the BAD/GOOD/SKIPPED files at the end.
Attach a file by drag & drop or click to upload
