diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-28 15:41:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-28 15:41:02 -0700 |
| commit | 61f2f3db6f154360930eb16f7d54f97165ef5d05 (patch) | |
| tree | e36d0b77b65637167089b8b48393efd831872aed | |
| parent | f6758079f7b2d9bd95275d2a7f59bdf9c661232e (diff) | |
| download | abc-61f2f3db6f154360930eb16f7d54f97165ef5d05.tar.gz abc-61f2f3db6f154360930eb16f7d54f97165ef5d05.tar.bz2 abc-61f2f3db6f154360930eb16f7d54f97165ef5d05.zip | |
Removing equivalence classes when they are not properly refined.
| -rw-r--r-- | src/aig/gia/giaMini.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c index 6cc528f2..448706bf 100644 --- a/src/aig/gia/giaMini.c +++ b/src/aig/gia/giaMini.c @@ -764,7 +764,10 @@ int * Abc_FrameReadMiniAigEquivClasses( Abc_Frame_t * pAbc ) if ( pAbc->pGia2 == NULL ) printf( "Internal GIA with equivalence classes is not available.\n" ); if ( pAbc->pGia2->pReprs == NULL ) + { printf( "Equivalence classes of internal GIA are not available.\n" ); + return NULL; + } if ( Gia_ManObjNum(pAbc->pGia2) != Gia_ManObjNum(pAbc->pGiaMiniAig) ) printf( "Internal GIA with equivalence classes is not directly derived from MiniAig.\n" ); // derive the set of equivalent node pairs |