diff options
| -rw-r--r-- | src/sat/bmc/bmcFault.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c index fa0657c6..50477f21 100644 --- a/src/sat/bmc/bmcFault.c +++ b/src/sat/bmc/bmcFault.c @@ -737,6 +737,7 @@ void Gia_ManDumpTestsDelay( Vec_Int_t * vTests, int nIter, char * pFileName, Gia fprintf( pFile, "%d", Vec_IntEntry(vValues, v) ); fprintf( pFile, "\n" ); } + Gia_ManCleanMark0(p); fclose( pFile ); Vec_IntFree( vValues ); } @@ -1328,7 +1329,7 @@ finish: if ( pPars->fDump ) { char * pFileName = "tests.txt"; - if ( pPars->fDumpDelay ) + if ( pPars->fDumpDelay && pPars->Algo == 1 ) { Gia_ManDumpTestsDelay( vTests, Iter, pFileName, p ); printf( "Dumping %d pairs of test patterns (total %d pattern) into file \"%s\".\n", Vec_IntSize(vTests) / nFuncVars, 2*Vec_IntSize(vTests) / nFuncVars, pFileName ); |