diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-02 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-02 08:01:00 -0800 |
| commit | 8da52b6f202444711da6b1f1baac92e0a516c8e6 (patch) | |
| tree | caa6bf9d35cb8f10785c9e2fc9dd0a179704db33 /src/opt/res/resSim.c | |
| parent | 12578e622f62bde4cfc1d3b055aa8747e5c9590b (diff) | |
| download | abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.tar.gz abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.tar.bz2 abc-8da52b6f202444711da6b1f1baac92e0a516c8e6.zip | |
Version abc70202
Diffstat (limited to 'src/opt/res/resSim.c')
| -rw-r--r-- | src/opt/res/resSim.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/res/resSim.c b/src/opt/res/resSim.c index 81267540..cc896ec0 100644 --- a/src/opt/res/resSim.c +++ b/src/opt/res/resSim.c @@ -484,13 +484,13 @@ int Res_SimPrepare( Res_Sim_t * p, Abc_Ntk_t * pAig ) Res_SimProcessPats( p ); if ( !(p->nPats0 < p->nPats || p->nPats1 < p->nPats) ) break; - } // printf( "%d ", Limit ); // report the last set of patterns - Res_SimReportOne( p ); - printf( "\n" ); +// Res_SimReportOne( p ); +// printf( "\n" ); // quit if there is not enough +// if ( p->nPats0 < 4 || p->nPats1 < 4 ) if ( p->nPats0 < 4 || p->nPats1 < 4 ) { // Res_SimReportOne( p ); |