diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-21 20:05:16 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-21 20:05:16 +0100 |
| commit | 9237fb924e74a0ed687992df6988b4aa2105614e (patch) | |
| tree | b33ad51476c492af1960dc29c3293f4435847b61 /misc | |
| parent | 1688b9b464fd5f594e5bf506dc0e859eaee305de (diff) | |
| download | yosys-9237fb924e74a0ed687992df6988b4aa2105614e.tar.gz yosys-9237fb924e74a0ed687992df6988b4aa2105614e.tar.bz2 yosys-9237fb924e74a0ed687992df6988b4aa2105614e.zip | |
When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions