diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-15 08:13:38 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-15 08:13:38 +0900 |
| commit | e85d29663a52efd405586cc5392b1beb46131ede (patch) | |
| tree | af32b93f5679c1936693975d58817a0d2ab001a0 /src/sat/bmc | |
| parent | 5c840d88f96bc8b66e0f75d29344449cb3b5b488 (diff) | |
| download | abc-e85d29663a52efd405586cc5392b1beb46131ede.tar.gz abc-e85d29663a52efd405586cc5392b1beb46131ede.tar.bz2 abc-e85d29663a52efd405586cc5392b1beb46131ede.zip | |
Adding switch &fftest -e to dump delay-tests in a special format.
Diffstat (limited to 'src/sat/bmc')
| -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 ); |