diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-09 07:40:03 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-09 07:47:44 +0000 |
| commit | de5e6fa56ada699ae13585791593eabce089b718 (patch) | |
| tree | 3ed4c9b04c98c5345f37cc69586c4b337431768d /frontends | |
| parent | 194354e1280b082c2d4066839010b9d250386bb7 (diff) | |
| download | yosys-de5e6fa56ada699ae13585791593eabce089b718.tar.gz yosys-de5e6fa56ada699ae13585791593eabce089b718.tar.bz2 yosys-de5e6fa56ada699ae13585791593eabce089b718.zip | |
Clean up `passes/sat/qbfsat.cc`.
Makes various cosmetic fixes, removes superfluous `hasPort()` check, and uses `emplace_back()` instead of `push_back()`.
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions