diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-23 13:23:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-23 13:23:33 -0700 |
| commit | 643aef2ecd1f1f2acc47f1cc58d9d24cb2ff50ed (patch) | |
| tree | 4749408d1de9c5f01b394382cab0b180edc5a8cb /src/aig/gia | |
| parent | bfebc0751c37d8353b2b2b9e61fe37f2a3f6f6f4 (diff) | |
| download | abc-643aef2ecd1f1f2acc47f1cc58d9d24cb2ff50ed.tar.gz abc-643aef2ecd1f1f2acc47f1cc58d9d24cb2ff50ed.tar.bz2 abc-643aef2ecd1f1f2acc47f1cc58d9d24cb2ff50ed.zip | |
Bug fix in &rex2gia.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaRex.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/gia/giaRex.c b/src/aig/gia/giaRex.c index 55074f00..5f50f520 100644 --- a/src/aig/gia/giaRex.c +++ b/src/aig/gia/giaRex.c @@ -183,6 +183,7 @@ char * Gia_ManRexPreprocess( char * pStr ) char * pCopy = ABC_CALLOC( char, strlen(pStr) * 2 + 10 ); int i, k = 0; pCopy[k++] = '('; + pCopy[k++] = '('; for ( i = 0; pStr[i]; i++ ) { if ( pStr[i] == '(' ) @@ -193,6 +194,7 @@ char * Gia_ManRexPreprocess( char * pStr ) pCopy[k++] = pStr[i]; } pCopy[k++] = ')'; + pCopy[k++] = ')'; pCopy[k++] = '\0'; return pCopy; } @@ -217,7 +219,7 @@ Gia_Man_t * Gia_ManRex2Gia( char * pStrInit, int fOrder, int fVerbose ) } // start AIG pNew = Gia_ManStart( 1000 ); - pNew->pName = Abc_UtilStrsav( pStr ); + pNew->pName = Abc_UtilStrsav( pStrInit ); for ( i = 0; i < Vec_IntSize(vAlphas) + nStates; i++ ) Gia_ManAppendCi( pNew ); // prepare automaton |