Searched defs:DefaultOutputMgr (Results 1 – 1 of 1) sorted by relevance
| /dports/devel/csmith/csmith-2.3.0/src/ | ||
| H A D | DefaultOutputMgr.cpp | 267 DefaultOutputMgr::DefaultOutputMgr(std::ofstream *ofile) in DefaultOutputMgr() function in DefaultOutputMgr |