diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Simulation_and_runtime.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Simulation_and_runtime.rst b/doc/Simulation_and_runtime.rst index 9a925da4b..37a83521f 100644 --- a/doc/Simulation_and_runtime.rst +++ b/doc/Simulation_and_runtime.rst @@ -113,6 +113,11 @@ all options available, including the debugging one. design. +.. option:: --unbuffered + + Disable buffering on stdout, stderr and files opened in write or append mode (TEXTIO). + + .. option:: --vcd=<FILENAME> .. option:: --vcdgz=<FILENAME> |