Method OutputFirstFunInvocation

src/KleeExtension.cpp:94–98

}

void
KleeExtension::OutputFirstFunInvocation(std::ostream &out, FunctionInvocation *invoke)
{
	AbsExtension::OutputFirstFunInvocation(out, invoke);
}