github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

ng_violet: use dumpString for debug output

Browse Source
This commit is contained in:
Justin Viiret 2016-07-21 12:46:07 +10:00 committed by Matthew Barr
parent 1ff17a2ea3
commit de543bec24
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/nfagraph/ng_violet.cpp
View File

@ -672,7 +672,7 @@ unique_ptr<VertLitInfo> findBestSplit(const NGHolder &g,
} }
DEBUG_PRINTF("best is '%s' %u a%d t%d\n", DEBUG_PRINTF("best is '%s' %u a%d t%d\n",
((const string &)*best->lit.begin()).c_str(), dumpString(*best->lit.begin()).c_str(),
g[best->vv.front()].index, g[best->vv.front()].index,
depths ? (int)createsAnchoredLHS(g, best->vv, *depths, cc.grey) : 0, depths ? (int)createsAnchoredLHS(g, best->vv, *depths, cc.grey) : 0,
depths ? (int)createsTransientLHS(g, best->vv, *depths, cc.grey) : 0); depths ? (int)createsTransientLHS(g, best->vv, *depths, cc.grey) : 0);
@ -1287,7 +1287,7 @@ bool doNetflowCut(NGHolder &h,
cut_lits[e] = lits; cut_lits[e] = lits;
DEBUG_PRINTF("cut lit '%s' %u->%u\n", DEBUG_PRINTF("cut lit '%s' %u->%u\n",
((const string &)*cut_lits[e].begin()).c_str(), dumpString(*cut_lits[e].begin()).c_str(),
h[source(e, h)].index, h[target(e, h)].index); h[source(e, h)].index, h[target(e, h)].index);
} }