diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-07 18:38:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-07 18:38:20 -0700 |
| commit | d89805946095ca41d2e79e1be7957b9f3141b8cd (patch) | |
| tree | 8a87912a57812b70a474e6c47888889129d9310e | |
| parent | 48b47300e36d3b14ac1abe070cc0ba9784dbbd25 (diff) | |
| download | abc-d89805946095ca41d2e79e1be7957b9f3141b8cd.tar.gz abc-d89805946095ca41d2e79e1be7957b9f3141b8cd.tar.bz2 abc-d89805946095ca41d2e79e1be7957b9f3141b8cd.zip | |
Added dumping abstracted model in &vta.
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 5ee030ec..dda6457f 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1444,8 +1444,8 @@ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose ) Gia_Man_t * pAbs; if ( fVerbose ) Abc_Print( 1, "Dumping abstracted model into file \"vabs.aig\"...\n" ); - if ( !Abc_FrameIsBridgeMode() ) - return; +// if ( !Abc_FrameIsBridgeMode() ) +// return; // create obj classes Vec_IntFreeP( &p->pGia->vObjClasses ); p->pGia->vObjClasses = Gia_VtaFramesToAbs( (Vec_Vec_t *)p->vCores ); |