Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Minor changes

  • Loading branch information...
commit 3ed450969a8bb7708334d08eb005ad9d6952ea85 1 parent ded3c58
@mwolf76 authored
Showing with 9 additions and 9 deletions.
  1. +8 −8 src/algorithms/base.cc
  2. +1 −1  src/model/compiler/compiler.cc
View
16 src/algorithms/base.cc
@@ -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;
View
2  src/model/compiler/compiler.cc
@@ -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;
}
Please sign in to comment.
Something went wrong with that request. Please try again.