Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Sanitize dut_id for use in output file name
Sometimes the DUT id may contain characters that aren't appropriate for file names. Sanitize the dut_id, so that we can safely use any ID.
- Loading branch information