예제 #1
0
void V3Global::dumpGlobalTree(const string& filename, int newNumber) {
    v3Global.rootp()->dumpTreeFile(v3Global.debugFilename(filename, newNumber));
}
void V3Global::dumpCheckGlobalTree(const string& filename, int newNumber, bool doDump) {
    v3Global.rootp()->dumpTreeFile(v3Global.debugFilename(filename, newNumber), false, doDump);
}