mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00
Code Activity

Merge pull request #199 from nakengelhardt/add_cvc5_tool_rule

Browse source 
add cvc5 executable to required tool mapping
This commit is contained in:
Jannis Harder 2022-07-25 17:27:43 +02:00 committed by GitHub
parent 3ff2c9affc 1cf206fc1c
commit a498e1e9a1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
tests/make/required_tools.py
View file

@ -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"],