Loading...

Searching...

No Matches

irep_ids.h

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

2

3Module: util

4

5Author: Reuben Thomas, reuben.thomas@me.com

6

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

8

11

12#ifndef CPROVER_UTIL_IREP_IDS_H

13#define CPROVER_UTIL_IREP_IDS_H

14

15#include "dstring.h"

16

28

29 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;

30 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;

31

32#include "irep_ids.def"

33

34#endif

Container for C-Strings.

CBMC: /home/runner/work/cbmc/cbmc/src/util/irep_ids.h Source File