cprover_prefix.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	CPROVER_PREFIX   "__CPROVER_"
#define	CPROVER_FKT_PREFIX   "__CPROVER_fkt_"

Macro Definition Documentation

CPROVER_FKT_PREFIX

#define CPROVER_FKT_PREFIX   "__CPROVER_fkt_"

Definition at line 16 of file cprover_prefix.h.

CPROVER_PREFIX

#define CPROVER_PREFIX   "__CPROVER_"

Definition at line 14 of file cprover_prefix.h.