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 /backends/simplec/.gitignore | |
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 'backends/simplec/.gitignore')
0 files changed, 0 insertions, 0 deletions