Add man page documentation for --dump-smt-formula

Author: Enrico Steffinlongo

doc/man/cbmc.1

@@ -467,6 +467,9 @@ The flag \fB\-\-slice\-formula\fR should be added to remove some not-yet support
 \fB\-\-outfile\fR filename
 output formula to given file
 .TP
+\fB\-\-dump\-smt\-formula\fR filename
+output smt incremental formula to the given file
+.TP
 \fB\-\-write\-solver\-stats\-to\fR json\-file
 collect the solver query complexity
 .TP

doc/man/jbmc.1

@@ -445,6 +445,9 @@ incremental solving (experimental)
 \fB\-\-outfile\fR filename
 output formula to given file
 .TP
+\fB\-\-dump\-smt\-formula\fR filename
+output smt incremental formula to the given file
+.TP
 \fB\-\-write\-solver\-stats\-to\fR \fIjson\-file\fR
 collect the solver query complexity
 .TP