diff options
Diffstat (limited to 'doc/using/Simulation.rst')
-rw-r--r-- | doc/using/Simulation.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index 6f062a95d..83e716f89 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -338,3 +338,7 @@ Export hierarchy and references .. option:: --psl-report=<FILENAME> 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 is still human readable. + +.. option:: --psl-report-uncovered + + Reports warning for each uncovered PSL cover point when simulation ends.
\ No newline at end of file |