Uncommenting "TxTree::blockCount++;" line at Executor.cpp to count ba…

…sic block by TX
tracer-x · Oct 19, 2018 · 7af2b41 · 7af2b41
1 parent 967aad8
commit 7af2b41
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -1480,14 +1480,19 @@ void Executor::transferToBasicBlock(BasicBlock *dst, BasicBlock *src,
     PHINode *first = static_cast<PHINode*>(state.pc->inst);
     state.incomingBBIndex = first->getBasicBlockIndex(src);
   }
- if (INTERPOLATION_ENABLED)
+ if (INTERPOLATION_ENABLED){
     // blockCount increased to count all visited Basic Blocks
   TxTree::blockCount++;
+ }
   //llvm::outs() << "**************\n";
   //dst->back().dump();
 
   //visitedBlocks.insert(dst); //count all destination basic blocks
 
+ //llvm::errs() << "************Dumping executed Blocks -- starts****************" << "\n";
+  //src->dump();
+  //dst->dump();
+  //llvm::errs() << "************Dumping executed Blocks -- Ends****************" << "\n";
 
   if((kf->function->getName() != "klee_div_zero_check") && (kf->function->getName()!= "klee_range") && (kf->function->getName() != "klee_int") && (kf->function->getName() != "klee_overshift_check") && (kf->function->getName() != "memcpy") && (kf->function->getName() != "memmove") && (kf->function->getName() != "mempcpy") && (kf->function->getName() != "memset"))
   {