CBMC
string_container.cpp File Reference

Container for C-Strings. More...

#include "string_container.h"
#include <cstring>
#include <iostream>
#include <numeric>
+ Include dependency graph for string_container.cpp:

Go to the source code of this file.

Detailed Description

Container for C-Strings.

Definition in file string_container.cpp.