MCPcopy Create free account
hub / github.com/csmith-project/csmith / OutputHeader

Method OutputHeader

src/ExtensionMgr.cpp:118–127  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

116}
117
118void
119ExtensionMgr::OutputHeader(std::ostream &out)
120{
121 if (ExtensionMgr::extension_ == NULL) {
122 return;
123 }
124 else {
125 ExtensionMgr::extension_->OutputHeader(out);
126 }
127}
128
129void
130ExtensionMgr::OutputTail(ostream &out)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected