aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-05-25 19:48:09 +0200
committerTristan Gingold <tgingold@free.fr>2020-05-25 21:13:32 +0200
commitab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28 (patch)
tree709d980736cac56ebfec52254b55343d7858fbdb /doc
parentdc90bedd6d86df9a9ef74bcdd51c7c3400669f29 (diff)
downloadghdl-ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28.tar.gz
ghdl-ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28.tar.bz2
ghdl-ab1a4bd15ed0d9e8c8ecbffd62e11e2c78ff1f28.zip
grt: implement --backtrace-severity. For #1338
Diffstat (limited to 'doc')
-rw-r--r--doc/using/Simulation.rst13
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>