diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-09 05:27:09 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-21 02:16:11 +0000 |
| commit | 08cede46691e65e09a69e964cd51261d327d0522 (patch) | |
| tree | c922ff9835b121faaae66069d9579ee847724766 /passes/tests | |
| parent | 4ab41c64359ea487e74b3c4901525ad155f11ec1 (diff) | |
| download | yosys-08cede46691e65e09a69e964cd51261d327d0522.tar.gz yosys-08cede46691e65e09a69e964cd51261d327d0522.tar.bz2 yosys-08cede46691e65e09a69e964cd51261d327d0522.zip | |
qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal()`.
Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'passes/tests')
0 files changed, 0 insertions, 0 deletions