UnCoVer (Using Coverability for Verification)
|
Protected Member Functions | |
virtual int | overflow (int c) override |
virtual int | sync () override |
void | addBuffer (std::streambuf *buffer) |
size_t | removeBuffer (std::streambuf *buffer) |
Private Attributes | |
std::vector< std::streambuf * > | buffers |
Friends | |
class | MultiStream |