Add man page description for the new option

NlightNFotis · Enrico Steffinlongo · commit f53978d6a879 · 2023-05-11T18:21:33.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\-core\-goto\fR filename
+export the lowered version of the goto-model into the given filename
+.TP
 \fB\-\-verbosity\fR #
 verbosity level
 .TP
