luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tests: Fix solver help output detection case insensitive (#5626) (#5627)

This commit is contained in:
sumpster 2024-11-24 00:10:37 +01:00 committed by GitHub
parent ae990ebcda
commit ca31bcdbb6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/CONTRIBUTORS
View File

@ -196,6 +196,7 @@ Srinivasan Venkataramanan
Stefan Wallentowitz Stefan Wallentowitz
Stephen Henry Stephen Henry
Steven Hugg Steven Hugg
sumpster
Szymon Gizler Szymon Gizler
Sören Tempel Sören Tempel
Teng Huang Teng Huang

2
test_regress/driver.py
View File

@ -180,7 +180,7 @@ class Capabilities:
if Capabilities._cached_have_solver is None: if Capabilities._cached_have_solver is None:
out = VtOs.run_capture('(z3 --help || cvc5 --help || cvc4 --help) 2>/dev/null', out = VtOs.run_capture('(z3 --help || cvc5 --help || cvc4 --help) 2>/dev/null',
check=False) check=False)
Capabilities._cached_have_solver = bool('Usage' in out) Capabilities._cached_have_solver = bool('usage' in out.casefold())
return Capabilities._cached_have_solver return Capabilities._cached_have_solver
@staticproperty @staticproperty