Screen log – file name
Name of the file, or standard output if left blank, which is the default for screen log. A screen log written to a file will not contain timing information (a column with the amount of time per million states).
Disclaimer: The above is the opinion of the author RB. If you do not agree, or spot a mistake, contact the author, or discuss this in the issues area or raise a new issue. A link will be added from this page to make sure others can find it.
Served through Jekyll, customised theme based on the twentyfourteen wordpress theme.