19 "c:/tmp/dynamic-graph-traces.txt";
22 "/tmp/dynamic-graph-traces.txt";
27 std::ofstream
dg_debugfile(
"C:/tmp/dynamic-graph-traces.txt",
28 std::ios::trunc &std::ios::out);
30 std::ofstream
dg_debugfile(
"/tmp/dynamic-graph-traces.txt",
31 std::ios::trunc &std::ios::out);
51 dg_debugfile.open(filename, std::ios::trunc & std::ios::out);