diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-01 22:05:01 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-02 03:24:53 +0200 |
commit | b0de47733bf9ee5690fb2bcad919d8d92431b026 (patch) | |
tree | 390f521d899407de2ae3eb7566b1ee8e3d084261 /doc/using | |
parent | d667339603a7a3e408b135737b058e2a9976ae44 (diff) | |
download | ghdl-b0de47733bf9ee5690fb2bcad919d8d92431b026.tar.gz ghdl-b0de47733bf9ee5690fb2bcad919d8d92431b026.tar.bz2 ghdl-b0de47733bf9ee5690fb2bcad919d8d92431b026.zip |
grt: add and document option --asserts
Diffstat (limited to 'doc/using')
-rw-r--r-- | doc/using/Simulation.rst | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index e90d061b3..607227042 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -77,15 +77,21 @@ Here is the list of the most useful options. For further info, see :ref:`DEV:Deb useful. .. option:: --ieee-asserts=<POLICY> +.. option:: --asserts=<POLICY> - Select how the assertions from ``ieee`` units are - handled. `POLICY` can be ``enable`` (the default), - ``disable`` which disables all assertions from ``ieee`` packages - and ``disable-at-0`` which disables only at the start of simulation. + Select how assertions are handled. `POLICY` can be ``enable`` (the + default), ``disable`` which disables all assertions and + ``disable-at-0`` which disables only at the start of simulation. - This option can be useful to avoid assertion messages from + The ``--ieee-asserts`` applies only to assertions from ``ieee`` + package. This option can be useful to avoid assertion messages from ``ieee.numeric_std`` (and other ``ieee`` packages). + The ``--asserts`` option applies to all assertions, including those + from the ``ieee`` units. The behaviour of the latter can be + overridden by using the ``--ieee-asserts`` option after the + ``--asserts`` option. + .. option:: --stop-time=<TIME> Stop the simulation after ``TIME``. ``TIME`` is expressed as a time |