diff options
| author | clairexen <claire@symbioticeda.com> | 2020-06-25 18:18:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-25 18:18:09 +0200 |
| commit | 21209d632e62983d008e121c6ffcf2815d2ae4d8 (patch) | |
| tree | edf8e293dd468d7625f4da2cf868e7385fd91879 /frontends | |
| parent | fb6441731a03f8156821bdcfa6e08542951ac3f1 (diff) | |
| parent | 28c2dd470b085f0be83ce1c55a687638bb31a75d (diff) | |
| download | yosys-21209d632e62983d008e121c6ffcf2815d2ae4d8.tar.gz yosys-21209d632e62983d008e121c6ffcf2815d2ae4d8.tar.bz2 yosys-21209d632e62983d008e121c6ffcf2815d2ae4d8.zip | |
Merge pull request #2135 from boqwxp/qbfsat-timeinfo
log and qbfsat: Also include child process usage in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions