diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-11 09:41:09 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-11 09:41:09 +0000 |
| commit | e300766fb3fbcb3b22558e638f7f43f81f545153 (patch) | |
| tree | e55bc907654e97f2b9ef31f37095c5466931fd69 /backends/smt2/smtbmc.py | |
| parent | 73bd7fb01d83d276e47fb181fd53b1c97c2c0111 (diff) | |
| download | yosys-e300766fb3fbcb3b22558e638f7f43f81f545153.tar.gz yosys-e300766fb3fbcb3b22558e638f7f43f81f545153.tar.bz2 yosys-e300766fb3fbcb3b22558e638f7f43f81f545153.zip | |
Use `pool` instead of `std::set`.
Diffstat (limited to 'backends/smt2/smtbmc.py')
0 files changed, 0 insertions, 0 deletions