diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-01-06 10:46:10 +0100 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-01-06 10:46:10 +0100 |
| commit | b376548fb99b231182a27090ecbfc6482a2aff7a (patch) | |
| tree | f7520a779ac058b02f39bc93c14718286f87d79b /backends/btor | |
| parent | b2ad781b0764971d4b27e231a6d773cb77dd9504 (diff) | |
| download | yosys-b376548fb99b231182a27090ecbfc6482a2aff7a.tar.gz yosys-b376548fb99b231182a27090ecbfc6482a2aff7a.tar.bz2 yosys-b376548fb99b231182a27090ecbfc6482a2aff7a.zip | |
inherit default values when checking scratchpad for arguments
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions