mirror of
https://github.com/VectorCamp/vectorscan.git
synced 2025-06-28 16:41:01 +03:00
gough: don't dump int data unless it's requested
This commit is contained in:
parent
5a842caaf1
commit
16aa22a361
@ -275,7 +275,7 @@ void dump_vars(const GoughGraph &g, const string &base, const Grey &grey) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
void dump(const GoughGraph &g, const string &base, const Grey &grey) {
|
void dump(const GoughGraph &g, const string &base, const Grey &grey) {
|
||||||
if (!grey.dumpFlags) {
|
if (!(grey.dumpFlags & Grey::DUMP_INT_GRAPH)) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -313,7 +313,7 @@ void dump_block(FILE *f, const gough_edge_id &e,
|
|||||||
|
|
||||||
void dump_blocks(const map<gough_edge_id, vector<gough_ins>> &blocks,
|
void dump_blocks(const map<gough_edge_id, vector<gough_ins>> &blocks,
|
||||||
const string &base, const Grey &grey) {
|
const string &base, const Grey &grey) {
|
||||||
if (!grey.dumpFlags) {
|
if (!(grey.dumpFlags & Grey::DUMP_INT_GRAPH)) {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user