diff options
Diffstat (limited to 'src/proof/abs/absUtil.c')
-rw-r--r-- | src/proof/abs/absUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absUtil.c b/src/proof/abs/absUtil.c index 60429496..286d1091 100644 --- a/src/proof/abs/absUtil.c +++ b/src/proof/abs/absUtil.c @@ -61,7 +61,7 @@ void Abs_ParSetDefaults( Abs_Par_t * p ) p->fVerbose = 0; // verbose flag p->iFrame = -1; // the number of frames covered p->iFrameProved = -1; // the number of frames proved - p->nFramesNoChangeLim = 1; // the number of frames without change to dump abstraction + p->nFramesNoChangeLim = 2; // the number of frames without change to dump abstraction } /**Function************************************************************* |