Skip to content

A
abc
Commit d8980594 by Alan Mishchenko
Options

Added dumping abstracted model in &vta.

parent 48b47300
Showing with 2 additions and 2 deletions
src/aig/gia/giaAbsVta.c
...@@ -1444,8 +1444,8 @@ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose ) ...@@ -1444,8 +1444,8 @@ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose )
Gia_Man_t * pAbs; Gia_Man_t * pAbs;
if ( fVerbose ) if ( fVerbose )
Abc_Print( 1, "Dumping abstracted model into file \"vabs.aig\"...\n" ); Abc_Print( 1, "Dumping abstracted model into file \"vabs.aig\"...\n" );
if ( !Abc_FrameIsBridgeMode() ) // if ( !Abc_FrameIsBridgeMode() )
return; // return;
// create obj classes // create obj classes
Vec_IntFreeP( &p->pGia->vObjClasses ); Vec_IntFreeP( &p->pGia->vObjClasses );
p->pGia->vObjClasses = Gia_VtaFramesToAbs( (Vec_Vec_t *)p->vCores ); p->pGia->vObjClasses = Gia_VtaFramesToAbs( (Vec_Vec_t *)p->vCores );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment