diff options
| author | Mathias Soeken <mathias.soeken@gmail.com> | 2016-12-07 10:08:44 +0100 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@gmail.com> | 2016-12-07 10:08:44 +0100 |
| commit | 5af44731bff0061c724912cf76e86dddbb4f2c7a (patch) | |
| tree | 77ddddb7a79d6424210a7a6b8e8f9649d845d9ba /src/base/io/ioWriteDot.c | |
| parent | f9b7e929045f348ef6ccff9024de3be0c35c2eec (diff) | |
| parent | 77ef610919b09ed0f8cb0df50e48a7f9c4b9c553 (diff) | |
| download | abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.tar.gz abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.tar.bz2 abc-5af44731bff0061c724912cf76e86dddbb4f2c7a.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'src/base/io/ioWriteDot.c')
| -rw-r--r-- | src/base/io/ioWriteDot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioWriteDot.c b/src/base/io/ioWriteDot.c index 7de6bd81..3431c761 100644 --- a/src/base/io/ioWriteDot.c +++ b/src/base/io/ioWriteDot.c @@ -74,7 +74,7 @@ void Io_WriteDotNtk( Abc_Ntk_t * pNtk, Vec_Ptr_t * vNodes, Vec_Ptr_t * vNodesSho Abc_Obj_t * pNode, * pFanin; char * pSopString; int LevelMin, LevelMax, fHasCos, Level, i, k, fHasBdds, fCompl, Prev; - int Limit = 300; + int Limit = 500; assert( Abc_NtkIsStrash(pNtk) || Abc_NtkIsLogic(pNtk) ); |