diff options
| author | Aman Goel <amangoel@umich.edu> | 2018-09-10 21:44:36 -0400 |
|---|---|---|
| committer | Aman Goel <amangoel@umich.edu> | 2018-09-10 21:44:36 -0400 |
| commit | 75c1f8d241d67ebb6db56516b4f9fdb0a312aa0b (patch) | |
| tree | a08c21da4083183ac305ae5f5c2816b5452b1490 /libs/minisat/Alg.h | |
| parent | 83b41260f6c8dd3ba617cc03b06435521038e7db (diff) | |
| download | yosys-75c1f8d241d67ebb6db56516b4f9fdb0a312aa0b.tar.gz yosys-75c1f8d241d67ebb6db56516b4f9fdb0a312aa0b.tar.bz2 yosys-75c1f8d241d67ebb6db56516b4f9fdb0a312aa0b.zip | |
Minor revision to -expose in setundef pass
Adds default value option as -undef when -expose used. Not having set the value mode set can cause the setundef pass to abort.
Diffstat (limited to 'libs/minisat/Alg.h')
0 files changed, 0 insertions, 0 deletions