Add man description for --export-symex-ready-goto

NlightNFotis · Enrico Steffinlongo · commit 753311a1ec19 · 2023-05-22T12:29:38.000+01:00
diff --git a/doc/man/cbmc.1 b/doc/man/cbmc.1
@@ -525,6 +525,9 @@ give a stack trace only
 \fB\-\-flush\fR
 flush every line of output
 .TP
+\fB\-\-export\-symex\-ready\-goto\fR filename
+export the symex ready version of the goto-model into the given filename
+.TP
 \fB\-\-verbosity\fR #
 verbosity level
 .TP
