diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 13:38:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 13:38:52 -0700 |
| commit | b9ed304236ee9c7e0cc7d7a0508fb29553679b33 (patch) | |
| tree | fabba01447539b79f1d07ef6662a22e1e7731b03 /src/aig/gia/giaAbsVta.c | |
| parent | 6b2744ff771eb71b5246aa9930ea5ff8862e106d (diff) | |
| download | abc-b9ed304236ee9c7e0cc7d7a0508fb29553679b33.tar.gz abc-b9ed304236ee9c7e0cc7d7a0508fb29553679b33.tar.bz2 abc-b9ed304236ee9c7e0cc7d7a0508fb29553679b33.zip | |
Correcting the report of completed timeframes in &gla.
Diffstat (limited to 'src/aig/gia/giaAbsVta.c')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 4edbacc4..878903b1 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1727,7 +1727,7 @@ finish: else { p->pPars->iFrame++; - Abc_Print( 1, "Completed %d frames with a %d-stable abstraction. ", f, p->pPars->nFramesNoChange ); + Abc_Print( 1, "VTA completed %d frames with a %d-stable abstraction. ", f, p->pPars->nFramesNoChange ); } } } |