Skip to content

A
abc
Commit 17305bd5 by Alan Mishchenko
Options

Fixing temporary linker problem.

parent 83f1f273
Showing with 2 additions and 1 deletions
src/aig/aig/aigRepar.c
...@@ -187,7 +187,8 @@ void Aig_ManInterTest( Aig_Man_t * pMan, int fVerbose ) ...@@ -187,7 +187,8 @@ void Aig_ManInterTest( Aig_Man_t * pMan, int fVerbose )
// pInter = Sat_ProofInterpolant( pSat, vVars ); // pInter = Sat_ProofInterpolant( pSat, vVars );
// Aig_ManPrintStats( pInter ); // Aig_ManPrintStats( pInter );
// Aig_ManDumpBlif( pInter, "int.blif", NULL, NULL ); // Aig_ManDumpBlif( pInter, "int.blif", NULL, NULL );
pInter = Sat_ProofInterpolantTruth( pSat, vVars ); //pInter = Sat_ProofInterpolantTruth( pSat, vVars );
pInter = NULL;
// Extra_PrintHex( stdout, pInter, Vec_IntSize(vVars) ); printf( "\n" ); // Extra_PrintHex( stdout, pInter, Vec_IntSize(vVars) ); printf( "\n" );
// clean up // clean up
......
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