yosys-smtbmc: add cvc5 to help text.

whitequark · web-flow · commit 1ef4c7f56553 · 2024-12-25T04:59:02.000Z
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
@@ -1208,7 +1208,7 @@ def handle(self, o, a):
     def helpmsg(self):
         return """
     -s <solver>
-        set SMT solver: z3, yices, boolector, bitwuzla, cvc4, mathsat, dummy
+        set SMT solver: z3, yices, boolector, bitwuzla, cvc4, cvc5, mathsat, dummy
         default: yices
 
     -S <opt>
