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

Tests: Fix t_constraint_nosolver_bad.py (#6273)

This commit is contained in:
Wilson Snyder 2025-08-10 08:43:04 -04:00
parent eb80db9397
commit e6e52dd60a
2 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test_regress/t/t_constraint_nosolver_bad.out
View File

@ -1,7 +0,0 @@
Process::open: execvp(someimaginarysolver): No such file or directory
%Warning: Subprocess command `someimaginarysolver' failed: exit status 127
%Warning: Unable to communicate with SAT solver, please check its installation or specify a different one in VERILATOR_SOLVER environment variable.
... Tried: $ someimaginarysolver
%Error: t/t_constraint.v:25: Verilog $stop
Aborting...

7
test_regress/t/t_constraint_nosolver_bad.py
View File

@ -14,8 +14,9 @@ test.top_filename = "t/t_constraint.v"
test.compile()
test.execute(run_env='VERILATOR_SOLVER=someimaginarysolver',
fails=True,
expect_filename=test.golden_filename)
test.execute(run_env='VERILATOR_SOLVER=someimaginarysolver', fails=True)
# Not using golden file, as may get spurious pipe messages, see issue #6273
test.file_grep(test.run_log_filename, r'Unable to communicate with SAT solver')
test.passes()