Loading...

Searching...

No Matches

cpp_internal_additions.h

1/*******************************************************************\

2

3Module:

4

5Author: Daniel Kroening, kroening@kroening.com

6

7\*******************************************************************/

8

9

10#ifndef CPROVER_CPP_CPP_INTERNAL_ADDITIONS_H

11#define CPROVER_CPP_CPP_INTERNAL_ADDITIONS_H

12

13#include <iosfwd>

14

15void cpp_internal_additions(std::ostream &code);

16

17#endif // CPROVER_CPP_CPP_INTERNAL_ADDITIONS_H

void cpp_internal_additions(std::ostream &code)

Definition cpp_internal_additions.cpp:45

CBMC: /home/runner/work/cbmc/cbmc/src/cpp/cpp_internal_additions.h Source File