diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-07-20 19:22:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-20 19:22:59 +0200 |
| commit | 323f6f6f6006eadcaec180f2cc1556f1f3303be3 (patch) | |
| tree | 5fa7d4a1b89185e008072bdbd51cbbcd05688280 /passes/sat/eval.cc | |
| parent | 1de07eeee22499760d18e00ba32edf64564aa25e (diff) | |
| parent | 68b5d0c3b11588946982939c00fd6febe198e13f (diff) | |
| download | yosys-323f6f6f6006eadcaec180f2cc1556f1f3303be3.tar.gz yosys-323f6f6f6006eadcaec180f2cc1556f1f3303be3.tar.bz2 yosys-323f6f6f6006eadcaec180f2cc1556f1f3303be3.zip | |
Merge pull request #586 from hzeller/more-sourcepos-logging
Convert more log_error() to log_file_error() where possible.
Diffstat (limited to 'passes/sat/eval.cc')
0 files changed, 0 insertions, 0 deletions