luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Experiments with the SAT sweeper.

This commit is contained in:
Alan Mishchenko 2023-09-05 11:13:08 +07:00
parent 167fceac37
commit 7df17e3c5e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/proof/cec/cecSatG2.c
View File

@ -1919,11 +1919,11 @@ finalize:
char pFileName[1000], * pBase = Extra_FileNameGeneric(p->pName); char pFileName[1000], * pBase = Extra_FileNameGeneric(p->pName);
extern Gia_Man_t * Gia_ManDupMiterCones( Gia_Man_t * p, Vec_Int_t * vPairs ); extern Gia_Man_t * Gia_ManDupMiterCones( Gia_Man_t * p, Vec_Int_t * vPairs );
Gia_Man_t * pM = Gia_ManDupMiterCones( p, pMan->vPairs ); Gia_Man_t * pM = Gia_ManDupMiterCones( p, pMan->vPairs );
sprintf( pFileName, "%s_miter.aig", pBase ); sprintf( pFileName, "%s_sm.aig", pBase );
Gia_AigerWrite( pM, pFileName, 0, 0, 0 ); Gia_AigerWrite( pM, pFileName, 0, 0, 0 );
Gia_ManStop( pM ); Gia_ManStop( pM );
ABC_FREE( pBase ); ABC_FREE( pBase );
printf( "Dumped miter \"%s\" with %d pairs.\n", pFileName, pMan->vPairs ? Vec_IntSize(pMan->vPairs) : -1 ); printf( "Dumped miter \"%s\" with %d pairs.\n", pFileName, pMan->vPairs ? Vec_IntSize(pMan->vPairs)/2 : -1 );
} }
Cec4_ManDestroy( pMan ); Cec4_ManDestroy( pMan );
//Gia_ManStaticFanoutStop( p ); //Gia_ManStaticFanoutStop( p );