diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-11 10:49:36 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-11 10:49:36 +0700 |
| commit | af84c0d2056ecd11e057990c7d717c0a2e984941 (patch) | |
| tree | 0ca43e9d5c5a5ea00a34a9374823caf32a51b071 /src/base/abci/abcResub.c | |
| parent | 3a6c8f1c429e556332fcc8544ca06cc58270bd7e (diff) | |
| download | abc-af84c0d2056ecd11e057990c7d717c0a2e984941.tar.gz abc-af84c0d2056ecd11e057990c7d717c0a2e984941.tar.bz2 abc-af84c0d2056ecd11e057990c7d717c0a2e984941.zip | |
Added printout of flop names in the PLA file representing the invariant.
Diffstat (limited to 'src/base/abci/abcResub.c')
0 files changed, 0 insertions, 0 deletions