Dbg::init

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/AnalysisDebuggingUtils.h>

void
init(
    std::string title,
    std::string workDir,
    std::string fName = "debug");

Created with MrDocs