Add --cadical to man pages

zhassan-aws · zhassan-aws · commit 45b107284346 · 2023-01-30T16:29:18.000-08:00
diff --git a/doc/man/cbmc.1 b/doc/man/cbmc.1
@@ -410,6 +410,9 @@ use default SMT2 solver (Z3)
 \fB\-\-boolector\fR
 use Boolector
 .TP
+\fB\-\-cadical\fR
+use CaDiCaL
+.TP
 \fB\-\-cprover\-smt2\fR
 use CPROVER SMT2 solver
 .TP
diff --git a/doc/man/jbmc.1 b/doc/man/jbmc.1
@@ -404,6 +404,9 @@ use default SMT2 solver (Z3)
 \fB\-\-boolector\fR
 use Boolector
 .TP
+\fB\-\-cadical\fR
+use CaDiCaL
+.TP
 \fB\-\-cprover\-smt2\fR
 use CPROVER SMT2 solver
 .TP
