diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-02 23:15:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-02 23:15:15 -0700 |
| commit | d1b9ade53587ce2b1a2db65560d0bf38fc674903 (patch) | |
| tree | 0d4530dd10bc38d37a83086960969eed94310548 /src/bdd/parse/parseStack.c | |
| parent | b6cb626a122e8b5e10856fd488b9f773af117404 (diff) | |
| download | abc-d1b9ade53587ce2b1a2db65560d0bf38fc674903.tar.gz abc-d1b9ade53587ce2b1a2db65560d0bf38fc674903.tar.bz2 abc-d1b9ade53587ce2b1a2db65560d0bf38fc674903.zip | |
Adding switch 'ps -s' to skip counting buffers/inverters as nodes.
Diffstat (limited to 'src/bdd/parse/parseStack.c')
0 files changed, 0 insertions, 0 deletions