man/nitc: Update man page

Update man page to add `--in-out-invariant` option Signed-off-by: Florian Deljarry <[email protected]>
nitlang · Jul 14, 2020 · 27948de · 27948de
1 parent 3315fab
commit 27948de
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/share/man/nitc.md b/share/man/nitc.md
@@ -548,6 +548,9 @@ Option used to disable the contracts(ensures, expects) usage.
 ### `--full-contract`
 Option used to enables contracts (ensures, expects) on all classes. Warning this is an expensive option at runtime.
 
+### `--in-out-invariant`
+Option used to enable `invariant` verification on entry and exit of a method. By default, invariants are only checked on exit. Note, that the contracts are not checked on a `self` call.
+
 # ENVIRONMENT VARIABLES
 
 ### `NIT_DIR`