From 1ef4c7f56553e1042f1878a021f37f60b0fc4acb Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Wed, 25 Dec 2024 04:59:02 +0000
Subject: [PATCH] yosys-smtbmc: add cvc5 to help text.

---
 backends/smt2/smtio.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 5fc3ab5a4..2bc7daddc 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -1208,7 +1208,7 @@ class SmtOpts:
     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>