diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-02 20:12:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-02 20:12:03 -0700 |
| commit | 9621ae946eeae3df852ef0701c3f33d1d83b7643 (patch) | |
| tree | 1b775c89a7e18b02f61804f3304816c798f19c50 /src/aig | |
| parent | ba597f67874f225aae84cc9ab19976538b5dc926 (diff) | |
| download | abc-9621ae946eeae3df852ef0701c3f33d1d83b7643.tar.gz abc-9621ae946eeae3df852ef0701c3f33d1d83b7643.tar.bz2 abc-9621ae946eeae3df852ef0701c3f33d1d83b7643.zip | |
Added switch &srm -A <file> for dumping SRM into a user-specified file.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions