From 90867a64b4c1deb5589ac2cb50afc293c71836b9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 31 Mar 2014 21:33:45 -0700 Subject: Adding functionally observable fault testing. --- src/sat/bmc/bmcFault.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat/bmc') 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; } -- cgit v1.2.3