From 1cf206fc1c73e2323dbaf7e0779b3bb3d0d1a9ce Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Mon, 25 Jul 2022 17:01:17 +0200
Subject: [PATCH] add cvc5 executable to required tool mapping

---
 tests/make/required_tools.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/make/required_tools.py b/tests/make/required_tools.py
index 203ccd7..ce33356 100644
--- a/tests/make/required_tools.py
+++ b/tests/make/required_tools.py
@@ -4,6 +4,7 @@ REQUIRED_TOOLS = {
     ("smtbmc", "yices"): ["yices-smt2"],
     ("smtbmc", "z3"): ["z3"],
     ("smtbmc", "cvc4"): ["cvc4"],
+    ("smtbmc", "cvc5"): ["cvc5"],
     ("smtbmc", "mathsat"): ["mathsat"],
     ("smtbmc", "boolector"): ["boolector"],
     ("smtbmc", "bitwuzla"): ["bitwuzla"],