Adding switch &fftest -e to dump delay-tests in a special format.

e85d2966 · Alan Mishchenko · 5c840d88 · e85d2966
Commit e85d2966 authored Apr 15, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

src/sat/bmc/bmcFault.c
+2 -1

No files found.
--- 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 );