diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-07 18:05:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-07 18:05:20 -0700 |
commit | 50e324ce11c82742153e717334556bc60580f758 (patch) | |
tree | 88df831c8cddc39c591c01fd8dac61338645a443 /src/proof/ssw/sswSemi.c | |
parent | 659d288967f5940876aa94e351b67b2b709e0301 (diff) | |
download | abc-50e324ce11c82742153e717334556bc60580f758.tar.gz abc-50e324ce11c82742153e717334556bc60580f758.tar.bz2 abc-50e324ce11c82742153e717334556bc60580f758.zip |
Adding switch &mfs -b to preserve white boxes during optimization.
Diffstat (limited to 'src/proof/ssw/sswSemi.c')
0 files changed, 0 insertions, 0 deletions