diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/using/Simulation.rst | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index c73a379d8..e90d061b3 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -64,8 +64,17 @@ Here is the list of the most useful options. For further info, see :ref:`DEV:Deb stop simulation, but the assertion violation at the ``note`` severity level would only display a message. - Option :option:`--assert-level=none <--assert-level>` prevents any assertion violation from stopping - simulation. + Option :option:`--assert-level=none <--assert-level>` prevents any + assertion violation from stopping simulation. + +.. option:: --backtrace-severity=<LEVEL> + + Select the assertion level at which an assertion violation display a + backtrace (if available). + + This is useful when the assertion is generated by a function (like + assertions in ``ieee.numeric_std``) whose location is not very + useful. .. option:: --ieee-asserts=<POLICY> |