From 9f7967947a41f00fd50645d150871ae1d07ac79d Mon Sep 17 00:00:00 2001 From: Ondrej Ille Date: Mon, 22 Mar 2021 22:37:10 +0100 Subject: doc: Add --psl-report-uncovered documentation option. --- doc/using/Simulation.rst | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc') 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= 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 -- cgit v1.2.3