Skip to content

A
abc
Commit 90867a64 by Alan Mishchenko
Options

Adding functionally observable fault testing.

parent fa1fafe4
Showing with 2 additions and 2 deletions
src/sat/bmc/bmcFault.c
...@@ -256,8 +256,8 @@ Gia_Man_t * Gia_ManFOFUnfold( Gia_Man_t * p, int fUseFaults, int fComplVars ) ...@@ -256,8 +256,8 @@ Gia_Man_t * Gia_ManFOFUnfold( Gia_Man_t * p, int fUseFaults, int fComplVars )
pNew = Gia_ManCleanup( pTemp = pNew ); pNew = Gia_ManCleanup( pTemp = pNew );
Gia_ManStop( pTemp ); Gia_ManStop( pTemp );
assert( Gia_ManPiNum(pNew) == Gia_ManCiNum(p) + 4 * Gia_ManAndNum(p) ); assert( Gia_ManPiNum(pNew) == Gia_ManCiNum(p) + 4 * Gia_ManAndNum(p) );
if ( fUseFaults ) // if ( fUseFaults )
Gia_AigerWrite( pNew, "newfault.aig", 0, 0 ); // Gia_AigerWrite( pNew, "newfault.aig", 0, 0 );
return pNew; return pNew;
} }
......
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