mirror of
https://github.com/verilator/verilator.git
synced 2025-04-05 12:12:39 +00:00
8 lines
383 B
Plaintext
8 lines
383 B
Plaintext
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:23: Verilog $stop
|
|
Aborting...
|