Loading...

Searching...

No Matches

c_preprocess.h

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

2

3Module:

4

5Author: Daniel Kroening, kroening@kroening.com

6

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

8

9

10#ifndef CPROVER_ANSI_C_C_PREPROCESS_H

11#define CPROVER_ANSI_C_C_PREPROCESS_H

12

13#include <iosfwd>

14#include <string>

15

17

19 const std::string &path,

20 std::ostream &outstream,

21 message_handlert &message_handler);

22

24 std::istream &instream,

25 std::ostream &outstream,

26 message_handlert &message_handler);

27

28// returns 'true' in case of error

30

31#endif // CPROVER_ANSI_C_C_PREPROCESS_H

bool c_preprocess(const std::string &path, std::ostream &outstream, message_handlert &message_handler)

Definition c_preprocess.cpp:200

bool test_c_preprocessor(message_handlert &message_handler)

Definition c_preprocess.cpp:780

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

Definition ai.h:566

Definition message.h:27

CBMC: /home/runner/work/cbmc/cbmc/src/ansi-c/c_preprocess.h Source File