Permalink
Browse files

Minor changes

  • Loading branch information...
1 parent ded3c58 commit 3ed450969a8bb7708334d08eb005ad9d6952ea85 @mwolf76 committed Dec 31, 2013
Showing with 9 additions and 9 deletions.
  1. +8 −8 src/algorithms/base.cc
  2. +1 −1 src/model/compiler/compiler.cc
View
@@ -177,8 +177,8 @@ void Algorithm::assert_fsm_init(step_t time, group_t group, color_t color)
{
clock_t t0 = clock();
unsigned n = f_init_adds.size();
- TRACE << "CNFizing INITs @" << time
- << "... (" << n << " formulas)"
+ TRACE << "CNFizing INIT @" << time
+ << "... (" << n << " fragments)"
<< endl;
ADDVector::iterator i;
@@ -195,8 +195,8 @@ void Algorithm::assert_fsm_invar(step_t time, group_t group, color_t color)
{
clock_t t0 = clock();
unsigned n = f_invar_adds.size();
- TRACE << "CNFizing INVARs @" << time
- << "... (" << n << " formulas)"
+ TRACE << "CNFizing INVAR @" << time
+ << "... (" << n << " fragments)"
<< endl;
ADDVector::iterator i;
@@ -214,8 +214,8 @@ void Algorithm::assert_fsm_trans(step_t time, group_t group, color_t color)
clock_t t0 = clock();
unsigned n = f_trans_adds.size();
- TRACE << "CNFizing TRANSes @" << time
- << "... (" << n << " formulas)"
+ TRACE << "CNFizing TRANS @" << time
+ << "... (" << n << " fragments)"
<< endl;
ADDVector::iterator i;
@@ -234,8 +234,8 @@ void Algorithm::assert_formula(step_t time, ADDVector& adds,
clock_t t0 = clock();
unsigned n = f_trans_adds.size();
- TRACE << "CNFizing formula @" << time
- << "... (" << n << " formulas)"
+ TRACE << "CNFizing FORMULA @" << time
+ << "... (" << n << " fragments)"
<< endl;
ADDVector::iterator i;
@@ -121,7 +121,7 @@ void Compiler::process(Expr_ptr ctx, Expr_ptr body, bool first_pass)
TRACE
<< "Compilation of " << key << " took "
<< secs << " seconds, "
- << sz << " DDs"
+ << sz << " ADD nodes"
<< endl;
}

0 comments on commit 3ed4509

Please sign in to comment.