Commit 010d89f0 authored by Anirudh Kaushik's avatar Anirudh Kaushik
Browse files

format output

parent 5ca2c9f4
......@@ -162,11 +162,9 @@ void EntryFunctionContainer::dumpSauto(raw_ostream & os)
os << "\n Size of transitionVector : " << transitionVector.size();
for (unsigned int i = 0; i < transitionVector.size(); i++) {
Transition *t = transitionVector.at(i);
t->dump(os);
}
os << "\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@";
}
......@@ -212,8 +210,12 @@ void EntryFunctionContainer::dump (raw_ostream & os, int tabn)
(*it)->dump(os, newTabn);
}
os <<" Suspension CFG \n";
os <<"\n Suspension CFG";
os <<"\n ###############";
dumpSusCFG(os);
os <<" Suspension Automaton \n";
os <<"\n ###############";
os <<"\n Suspension Automaton";
os <<"\n @@@@@@@@@@@@@@@@";
dumpSauto(os);
os <<"\n @@@@@@@@@@@@@@@@";
}
......@@ -944,8 +944,7 @@ SuspensionAutomata::transitionVectorType SuspensionAutomata::getSauto()
void SuspensionAutomata::dumpSusCFG()
{
_os << "\n#############################################";
susCFGVectorType susCFGVector = _susCFGVector;
for (unsigned int i = 0; i < susCFGVector.size(); i++) {
......@@ -987,8 +986,6 @@ void SuspensionAutomata::dumpSauto()
t->dump(_os);
}
_os << "\n@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@";
}
//////////////////////////////////////////////////////////////////////////////
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment