CBMC: /home/runner/work/cbmc/cbmc/src/util/dstring.cpp File Reference
Container for C-Strings. More...
#include "dstring.h"
#include <ostream>
Include dependency graph for dstring.cpp:
Go to the source code of this file.
Functions | |
| dstringt | get_dstring_number (std::size_t value) |
Detailed Description
Container for C-Strings.
Definition in file dstring.cpp.
Function Documentation
◆ get_dstring_number()
| dstringt get_dstring_number | ( | std::size_t | value | ) |
Definition at line 21 of file dstring.cpp.