CBMC: /home/runner/work/cbmc/cbmc/src/util/dstring.cpp Source File

Go to the documentation of this file.

1

2

3

4

5

6

7

8

11

13

14#include <ostream>

15

20

22{

26 array[i] = dstringt(std::to_string(i));

27 return array;

28 }();

29

31}

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

dstringt has one field, an unsigned integer no which is an index into a static table of strings.

const std::string & as_string() const

std::ostream & operator<<(std::ostream &out) const

dstringt get_dstring_number(std::size_t value)

constexpr std::size_t DSTRING_NUMBERS_MAX