nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
man: document --trace-memory in nitc.md
[nit.git]
/
share
/
man
/
nitc.md
diff --git
a/share/man/nitc.md
b/share/man/nitc.md
index
c537b5b
..
77c8aa8
100644
(file)
--- a/
share/man/nitc.md
+++ b/
share/man/nitc.md
@@
-425,6
+425,12
@@
and stack trace will be disabled.
Note that the `--no-stacktrace` option (or this absence) can be toggled manually in the generated Makefile (search `NO_STACKTRACE` in the Makefile).
Moreover, the environment variable `NIT_NO_STACK` (see bellow) can also be used at runtime to disable stack traces.
Note that the `--no-stacktrace` option (or this absence) can be toggled manually in the generated Makefile (search `NO_STACKTRACE` in the Makefile).
Moreover, the environment variable `NIT_NO_STACK` (see bellow) can also be used at runtime to disable stack traces.
+### `--trace-memory`
+Enable dynamic measure of memory usage.
+
+Compiled programs will generate a large `memory.log` file that logs all memory allocations.
+This logs file can then be analyzed with the tool `memplot` from contrib.
+
### `--hardening`
Generate contracts in the C code against bugs in the compiler.
### `--hardening`
Generate contracts in the C code against bugs in the compiler.