yosys-smtbmc: add cvc5 to help text.

YosysHQ · Dec 25, 2024 · 1ef4c7f · 1ef4c7f
1 parent 8acc77c
commit 1ef4c7f
Showing 1 changed file with 1 addition and 1 deletion.
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>