From b9ed304236ee9c7e0cc7d7a0508fb29553679b33 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 4 Sep 2012 13:38:52 -0700 Subject: Correcting the report of completed timeframes in &gla. --- src/aig/gia/giaAbsVta.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia/giaAbsVta.c') 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 ); } } } -- cgit v1.2.3