diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-26 21:23:07 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-26 23:00:00 +0000 |
| commit | d72cb8ea2abfd0346e67868ef4ba04d2069db271 (patch) | |
| tree | a9c63356722dd7f6373f28c1eb8b1a6fcf8539fb /kernel/utils.h | |
| parent | 5accf08ef9f226b78cbd47c83522cce6afffb280 (diff) | |
| download | yosys-d72cb8ea2abfd0346e67868ef4ba04d2069db271.tar.gz yosys-d72cb8ea2abfd0346e67868ef4ba04d2069db271.tar.bz2 yosys-d72cb8ea2abfd0346e67868ef4ba04d2069db271.zip | |
Do not change solver output parsing for non-exists-forall problems.
Diffstat (limited to 'kernel/utils.h')
0 files changed, 0 insertions, 0 deletions