diff options
| author | Jannis Harder <me@jix.one> | 2022-09-02 22:37:08 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-09-02 22:37:08 +0200 |
| commit | 1d40f5e8fa0175f215664f03942c444deb22762b (patch) | |
| tree | 918f1f051b85a03ac9ba00e2740e2a331fbc5d9d /techlibs | |
| parent | 6e907acf86d9ff0edd9a1c10274e62690e19e939 (diff) | |
| download | yosys-1d40f5e8fa0175f215664f03942c444deb22762b.tar.gz yosys-1d40f5e8fa0175f215664f03942c444deb22762b.tar.bz2 yosys-1d40f5e8fa0175f215664f03942c444deb22762b.zip | |
smtbmc: Avoid unnecessary string copies when parsing solver output
Diffstat (limited to 'techlibs')
0 files changed, 0 insertions, 0 deletions