diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2017-03-01 22:37:02 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | 13a5256846f946d646a21faf221001f9ba15044d (patch) | |
| tree | 7667b62cc8dcf128a0b9113731c16b30f362307f /doc | |
| parent | 13bde404795c5438fb3bbba9d4e9fe272a998a74 (diff) | |
| download | ghdl-13a5256846f946d646a21faf221001f9ba15044d.tar.gz ghdl-13a5256846f946d646a21faf221001f9ba15044d.tar.bz2 ghdl-13a5256846f946d646a21faf221001f9ba15044d.zip | |
Remove duplicated option
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/using/Simulation.rst | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index d3aa6f9a5..5445bc830 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -81,12 +81,6 @@ all options available, including the debugging one. Disable buffering on stdout, stderr and files opened in write or append mode (TEXTIO). -.. option:: --psl-report<=FILENAME> - - Write a report for PSL assertions and coverage at the end of - simulation. The file is written using the JSON format, but still - being human readable. - .. option:: --sdf<=PATH=FILENAME> Do VITAL annotation on `PATH` with SDF file :file:`FILENAME`. @@ -275,9 +269,9 @@ The set of :samp:`file` are analyzed, and then, if the analysis is successful, h * If the option :option:`--format=css` is specified, then the generated html files follow the HTML 4.0 standard, and use the CSS-1 file :file:`ghdl.css` to specify colours. This file is generated only if it does not already exist (it is never overwritten) and can be customized by the user to change colours or appearance. Refer to a generated file and its comments for more information. -.. option:: --psl-report<=FILE> +.. option:: --psl-report<=FILENAME> -Generate a JSON file at the end of the simulation reporting, for each PSL cover and assert statements, the name, source location and whether it passed or failed. +Write a report for PSL at the end of simulation. For each PSL cover and assert statements, the name, source location and whether it passed or failed is reported. The file is written using the JSON format, but still being human readable. .. TODO:: * Maybe worth adding a small example of how to generate a JSON file? |