Upate man files to match --no-malloc-fail option implemented

Author: thomasspriggs

doc/man/cbmc.1

@@ -102,11 +102,8 @@ do not check that all pointers in pointer primitives are valid or null
 \fB\-\-no\-signed\-overflow\-check\fR
 disable signed arithmetic over\- and underflow checks
 .TP
-\fB\-\-no\-malloc\-may\-fail\fR
-do not allow malloc calls to fail by default
-.TP
-\fB\-\-no\-malloc\-fail\-null\fR
-do not set malloc failure mode to return null pointer
+\fB\-\-no\-malloc\-fail\fR
+Do not allow malloc calls to fail by default.
 .TP
 \fB\-\-no\-unwinding\-assertions\fR (\fBcbmc\fR\-only)
 do not generate unwinding assertions (cannot be

doc/man/goto-analyzer.1

@@ -634,11 +634,8 @@ do not check that all pointers in pointer primitives are valid or null
 \fB\-\-no\-signed\-overflow\-check\fR
 disable signed arithmetic over\- and underflow checks
 .TP
-\fB\-\-no\-malloc\-may\-fail\fR
-do not allow malloc calls to fail by default
-.TP
-\fB\-\-no\-malloc\-fail\-null\fR
-do not set malloc failure mode to return null pointer
+\fB\-\-no\-malloc\-fail\fR
+Do not allow malloc calls to fail by default.
 .TP
 \fB\-\-no\-unwinding\-assertions\fR (\fBcbmc\fR\-only)
 do not generate unwinding assertions (cannot be

doc/man/goto-instrument.1

@@ -697,6 +697,9 @@ set malloc failure mode to assert\-then\-assume
 \fB\-\-malloc\-fail\-null\fR
 set malloc failure mode to return null
 .TP
+\fB\-\-no\-malloc\-fail\fR
+Do not allow malloc calls to fail by default.
+.TP
 \fB\-\-string\-abstraction\fR
 track C string lengths and zero\-termination
 .TP