blob: 27d832d35e6ec35fb761ee8ac3cf4e1b2afd3a8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#ifndef _JH_PERVASIVE_H_
#define _JH_PERVASIVE_H_
#include <string.h>
#define JH_PROGRAM_VERSION 1
#define JH_PROTOCOL_VERSION 1
#ifdef __FRAMA_C__
#define JH_RUNNING_FRAMA_C 1
#endif
#define JH_DEBUG_ALL 1
#ifndef JH_DEBUG_ALL
#define JH_DEBUG_ALL 0
#endif
#define JH__TO_STRING(x) #x
#define JH_TO_STRING(x) JH__TO_STRING(x)
#define JH_ISOLATE(a) do {a} while (0)
/* strncmp stops at '\0' and strlen does not count '\0'. */
#define JH_IS_PREFIX(a, b) (strncmp(a, b, strlen(a)) == 0)
#define JH_STRING_EQUALS(a, b) (strcmp(a, b) == 0)
#endif
|
