Skip to content

Commit

Permalink
Revert "Add -key-mode function-scope to polyspace-results-export in r…
Browse files Browse the repository at this point in the history
…eadme"

This reverts commit f9ad210.
  • Loading branch information
JokeWaumans committed Jul 4, 2024
1 parent aee25d0 commit a2724d0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.rst
Original file line number Diff line number Diff line change
Expand Up @@ -299,9 +299,9 @@ The following commands instruct Polyspace to export the results as a TSV file:

.. code-block:: bash
polyspace-results-export -key-mode function-scope -format csv -results-dir <resultsFolder> <export_options>
polyspace-results-export -format csv -results-dir <resultsFolder> <export_options>
# or
polyspace-results-export -key-mode function-scope -format csv -host <hostName> -run-id <runID> <export_options> <polyspace_access_options>
polyspace-results-export -format csv -host <hostName> -run-id <runID> <export_options> <polyspace_access_options>
The csv format outputs tab-separated values (TSV).
Each result in the TSV format consists of tab-separated information in columns.
Expand Down

0 comments on commit a2724d0

Please sign in to comment.