CBMC
|
Go to the source code of this file.
Classes | |
class | ms_cl_versiont |
Functions | |
std::ostream & | operator<< (std::ostream &, const ms_cl_versiont &) |
std::ostream& operator<< | ( | std::ostream & | out, |
const ms_cl_versiont & | v | ||
) |
Definition at line 70 of file ms_cl_version.cpp.