UnCoVer (Using Coverability for Verification)
|
Public Member Functions | |
void | addOStream (shared_ptr< std::ostream > str) |
size_t | removeOStream (shared_ptr< std::ostream > str) |
Private Attributes | |
MultiStreamBuffer | buf |
vector< shared_ptr < std::ostream > > | streams |