Diff Arguments

<DIFF ARGS>

-diff <dir> [-info <key=value>] [-html_report_location <dir>]

<DIFF ARGS> Description

-diff <dir>                        Directory of the HTML report to be differentiated with other reports specified by subsequent -diff arguments.
                                   Must be repeated.
-info <key=value>                  [Optional] Place a ‘key=value’ annotation on all hits from a generated HTML report, in order to create filters based on them after a diff between reports.
-html_report_location <dir>        [Optional] Destination directory for the HTML lint report.
                                              Default value: current directory.