diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-31 21:33:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-31 21:33:45 -0700 |
| commit | 90867a64b4c1deb5589ac2cb50afc293c71836b9 (patch) | |
| tree | 94c478f3a1da0cf76824f17ae0de5b0e1e016dfa /src/sat/bmc | |
| parent | fa1fafe4de45ee958385662f5a7475c06f6fa967 (diff) | |
| download | abc-90867a64b4c1deb5589ac2cb50afc293c71836b9.tar.gz abc-90867a64b4c1deb5589ac2cb50afc293c71836b9.tar.bz2 abc-90867a64b4c1deb5589ac2cb50afc293c71836b9.zip | |
Adding functionally observable fault testing.
Diffstat (limited to 'src/sat/bmc')
| -rw-r--r-- | src/sat/bmc/bmcFault.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c index 5d00011e..b4a540a4 100644 --- a/src/sat/bmc/bmcFault.c +++ b/src/sat/bmc/bmcFault.c @@ -256,8 +256,8 @@ Gia_Man_t * Gia_ManFOFUnfold( Gia_Man_t * p, int fUseFaults, int fComplVars ) pNew = Gia_ManCleanup( pTemp = pNew ); Gia_ManStop( pTemp ); assert( Gia_ManPiNum(pNew) == Gia_ManCiNum(p) + 4 * Gia_ManAndNum(p) ); - if ( fUseFaults ) - Gia_AigerWrite( pNew, "newfault.aig", 0, 0 ); +// if ( fUseFaults ) +// Gia_AigerWrite( pNew, "newfault.aig", 0, 0 ); return pNew; } |