Skip to content

A
abc
Commit bbd0640d by Alan Mishchenko
Options

Enable 'scorr' when AIG has no internal nodes.

parent 1aecc337
Showing with 2 additions and 0 deletions
src/proof/ssw/sswCore.c
...@@ -444,6 +444,7 @@ Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars ) ...@@ -444,6 +444,7 @@ Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars )
// if parameters are not given, create them // if parameters are not given, create them
if ( pPars == NULL ) if ( pPars == NULL )
Ssw_ManSetDefaultParams( pPars = &Pars ); Ssw_ManSetDefaultParams( pPars = &Pars );
/*
// consider the case of empty AIG // consider the case of empty AIG
if ( Aig_ManNodeNum(pAig) == 0 ) if ( Aig_ManNodeNum(pAig) == 0 )
{ {
...@@ -452,6 +453,7 @@ Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars ) ...@@ -452,6 +453,7 @@ Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars )
Aig_ManReprStart( pAig,Aig_ManObjNumMax(pAig) ); Aig_ManReprStart( pAig,Aig_ManObjNumMax(pAig) );
return Aig_ManDupOrdered(pAig); return Aig_ManDupOrdered(pAig);
} }
*/
// check and update parameters // check and update parameters
if ( pPars->fLatchCorrOpt ) if ( pPars->fLatchCorrOpt )
{ {
......
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