diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-09 15:58:31 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-09 15:58:31 -0800 |
| commit | d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73 (patch) | |
| tree | ad557427500bb469bd6f18100ccc6e96d2d11ae1 /src/aig/saig | |
| parent | 0b73c7638021070962a1918616b89a1cd401b56f (diff) | |
| download | abc-d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73.tar.gz abc-d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73.tar.bz2 abc-d8dbc712d3ceb946745a52b7b8111f9cbc8d5f73.zip | |
Bug fix in GLA PBA (unfinished).
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigGlaPba.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigGlaPba.c b/src/aig/saig/saigGlaPba.c index 2dd6782e..7b1efbf9 100644 --- a/src/aig/saig/saigGlaPba.c +++ b/src/aig/saig/saigGlaPba.c @@ -17,7 +17,7 @@ Revision [$Id: saigGlaPba.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] ***********************************************************************/ - + #include "saig.h" #include "satSolver.h" #include "satStore.h" @@ -74,7 +74,7 @@ int Abc_Clock( int Timer, int fReset ) { static Time[16], Clock[16]; int Clock2, Diff; - assert( Timer > 0 && Timer < 16 ); + assert( Timer >= 0 && Timer < 16 ); if ( fReset ) { Time[Timer] = time(NULL); |