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

Tests: Fail with `test.pl-file-needs-have_solver()-call` if forget have_solver()

This commit is contained in:
Wilson Snyder 2024-07-13 08:55:06 -04:00
parent 4cf017d7fe
commit b1cc0c54c1
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test_regress/driver.pl
View File

@ -1319,6 +1319,9 @@ sub execute {
delete $ENV{SYSTEMC_DISABLE_COPYRIGHT_MESSAGE}; delete $ENV{SYSTEMC_DISABLE_COPYRIGHT_MESSAGE};
$ENV{SYSTEMC_DISABLE_COPYRIGHT_MESSAGE} = "DISABLE" if !$self->{verbose}; $ENV{SYSTEMC_DISABLE_COPYRIGHT_MESSAGE} = "DISABLE" if !$self->{verbose};
$ENV{VERILATOR_SOLVER} = "test.pl-file-needs-have_solver()-call"
if !$self->{_have_solver_called};
my $run_env = $param{run_env}; my $run_env = $param{run_env};
$run_env .= ' ' if $run_env; $run_env .= ' ' if $run_env;
@ -1612,6 +1615,8 @@ sub cmake_version {
our $_have_solver = undef; our $_have_solver = undef;
sub have_solver { sub have_solver {
my $self = (ref $_[0] ? shift : $Self);
$self->{_have_solver_called} = 1;
if (!defined($_have_solver)) { if (!defined($_have_solver)) {
my $ok = `(z3 --help || cvc5 --help || cvc4 --help) 2>/dev/null`; my $ok = `(z3 --help || cvc5 --help || cvc4 --help) 2>/dev/null`;
$ok ||= ""; $ok ||= "";