From 28aacfaeddbfe047ab0fba29b6843facc5e5e06a Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 31 Jul 2012 17:27:46 +0000 Subject: Forgot to remove the actual stp directory. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161056 91177308-0d34-0410-b5e6-96231b3b80d8 --- stp/AST/ASTUtil.cpp | 45 --------------------------------------------- 1 file changed, 45 deletions(-) delete mode 100644 stp/AST/ASTUtil.cpp (limited to 'stp/AST/ASTUtil.cpp') diff --git a/stp/AST/ASTUtil.cpp b/stp/AST/ASTUtil.cpp deleted file mode 100644 index ecb54a4a..00000000 --- a/stp/AST/ASTUtil.cpp +++ /dev/null @@ -1,45 +0,0 @@ -/******************************************************************** - * AUTHORS: Vijay Ganesh, David L. Dill - * - * BEGIN DATE: November, 2005 - * - * LICENSE: Please view LICENSE file in the home dir of this Program - ********************************************************************/ -// -*- c++ -*- - -#include "ASTUtil.h" -#include - -namespace BEEV { - ostream &operator<<(ostream &os, const Spacer &sp) { - // Instead of wrapping lines with hundreds of spaces, prints - // a "+" at the beginning of the line for each wrap-around. - // so lines print like: +14+ (XOR ... - int blanks = sp._spaces % 60; - int wraps = sp._spaces / 60; - if (wraps > 0) { - os << "+" << wraps; - } - for (int i = 0; i < blanks; i++) - os << " "; - return os; - } - - //this function accepts the name of a function (as a char *), and - //records some stats about it. if the input is "print_func_stats", - //the function will then print the stats that it has collected. - void CountersAndStats(const char * functionname) { - if(!stats) - return; - static function_counters s; - - if(!strcmp(functionname,"print_func_stats")) { - cout << endl; - for(hash_map,eqstr>::iterator it=s.begin(),itend=s.end(); - it!=itend;it++) - cout << "Number of times the function: " << it->first << ": is called: " << it->second << endl; - return; - } - s[functionname] += 1; - } -} // end of namespace -- cgit 1.4.1