diff --git a/test_regress/t/t_constraint_nosolver_bad.out b/test_regress/t/t_constraint_nosolver_bad.out deleted file mode 100644 index 2f4435757..000000000 --- a/test_regress/t/t_constraint_nosolver_bad.out +++ /dev/null @@ -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... diff --git a/test_regress/t/t_constraint_nosolver_bad.py b/test_regress/t/t_constraint_nosolver_bad.py index 118aafe1b..69c260d6a 100755 --- a/test_regress/t/t_constraint_nosolver_bad.py +++ b/test_regress/t/t_constraint_nosolver_bad.py @@ -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()