diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2010-12-03 01:21:49 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2010-12-03 01:21:49 -0800 |
| commit | ff5fdb92e273eef5bd51c5df3a7f88449c578d0d (patch) | |
| tree | 73ac15fbd549dc893181cae9a35bb23feb7d473e /src/aig/kit/kitPla.c | |
| parent | 2adc30f56b76323d60b98f8ec0a5a7ad2c11e5fb (diff) | |
| download | abc-ff5fdb92e273eef5bd51c5df3a7f88449c578d0d.tar.gz abc-ff5fdb92e273eef5bd51c5df3a7f88449c578d0d.tar.bz2 abc-ff5fdb92e273eef5bd51c5df3a7f88449c578d0d.zip | |
Bug fix in &srm (not generating result when there is no equivs)
Diffstat (limited to 'src/aig/kit/kitPla.c')
0 files changed, 0 insertions, 0 deletions