diff options
| -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 64e4f36c6..81f64e9ed 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -133,6 +133,10 @@ Here is the list of the most useful options. For further info, see :ref:`DEV:Deb Load VPI module. + .. HINT:: + Currently, although multiple ``--vpi=`` options can be passed, only the last one is kept/used. However, handling + more than one shouldn't be a difficult change. + .. option:: --vpi-trace=<FILE> Trace vpi calls to FILE. |