diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-01 19:28:07 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | 6af8b767b436e504a7d0e271dca2ae0d355841dd (patch) | |
| tree | 834d4d6690682160d3c820e50df61bcf38872842 /passes/sat/mutate.cc | |
| parent | d311a8022292a9934c11ff9124a53932469974e6 (diff) | |
| download | yosys-6af8b767b436e504a7d0e271dca2ae0d355841dd.tar.gz yosys-6af8b767b436e504a7d0e271dca2ae0d355841dd.tar.bz2 yosys-6af8b767b436e504a7d0e271dca2ae0d355841dd.zip | |
Use `log_push()` and `log_pop()` and show the satisfiable model when `-specialize` is not specified.
Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
Diffstat (limited to 'passes/sat/mutate.cc')
0 files changed, 0 insertions, 0 deletions