diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-07 07:45:24 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-21 02:16:52 +0000 |
| commit | a564cc806f2e710b9cbb8365fd63587351bf3040 (patch) | |
| tree | 8104a60e1882530305cec6f898f04af5a53ecc7a /kernel/log.cc | |
| parent | 62a9e62a1bc016122c2224bb157e86d8dbad5613 (diff) | |
| download | yosys-a564cc806f2e710b9cbb8365fd63587351bf3040.tar.gz yosys-a564cc806f2e710b9cbb8365fd63587351bf3040.tar.bz2 yosys-a564cc806f2e710b9cbb8365fd63587351bf3040.zip | |
log, qbfsat: Include child process time in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver.
Diffstat (limited to 'kernel/log.cc')
0 files changed, 0 insertions, 0 deletions