diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-22 20:05:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-22 20:05:15 -0700 |
| commit | 67c47fa44aaa566d10abb154b3f89a9d427f5581 (patch) | |
| tree | 14403b2f8b1bce72ef01a05bbe690975053b8355 /src/aig/gia/giaDeep.c | |
| parent | 625ccde611da6eecf3bfdefc7632cd7a801767df (diff) | |
| download | abc-67c47fa44aaa566d10abb154b3f89a9d427f5581.tar.gz abc-67c47fa44aaa566d10abb154b3f89a9d427f5581.tar.bz2 abc-67c47fa44aaa566d10abb154b3f89a9d427f5581.zip | |
Adding input/output/flop name reading in command &r.
Diffstat (limited to 'src/aig/gia/giaDeep.c')
| -rw-r--r-- | src/aig/gia/giaDeep.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaDeep.c b/src/aig/gia/giaDeep.c index eecc598a..815a546e 100644 --- a/src/aig/gia/giaDeep.c +++ b/src/aig/gia/giaDeep.c @@ -73,7 +73,7 @@ Gia_Man_t * Gia_ManDeepSynOne( int nNoImpr, int TimeOut, int nAnds, int Seed, in else if ( fCom == 0 ) pComp = "; &dc2"; sprintf( Command, "&dch%s; &if -a -K %d; &mfs -e -W 20 -L 20%s%s", - fDch ? " -f" : "", KLut, fFx ? "; &fx" : "", pComp ); + fDch ? " -f" : "", KLut, fFx ? "; &fx; &st" : "", pComp ); if ( Abc_FrameIsBatchMode() ) { if ( Cmd_CommandExecute(Abc_FrameGetGlobalFrame(), Command) ) |