diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/using/Simulation.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index 221e0a093..6b6ea6a1a 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -82,6 +82,11 @@ all options available, including the debugging one. Disable buffering on stdout, stderr and files opened in write or append mode (TEXTIO). +.. option:: --max-stack-alloc<=N> + + Emit an error message in case of allocation on the stack of an + object larger than `N` KB. + .. option:: --sdf<=PATH=FILENAME> Do VITAL annotation on `PATH` with SDF file :file:`FILENAME`. |