1{
2    "FREERTOS_PLUS_TCP": [ " ../../.." ],
3    "PROOFS": [ "." ],
4
5    "DEF ": [
6	"WIN32",
7	"WINVER=0x400",
8	"_CONSOLE",
9	"_CRT_SECURE_NO_WARNINGS",
10	"_DEBUG",
11	"_WIN32_WINNT=0x0500",
12	"__PRETTY_FUNCTION__=__FUNCTION__",
13	"__free_rtos__",
14
15        "CBMC",
16	"'configASSERT(X)=__CPROVER_assert(X,\"Assertion Error\")'",
17        "'configPRECONDITION(X)=__CPROVER_assume(X)'",
18	"'_static='",
19	"'_volatile='"
20    ],
21
22  "INC ": [
23        "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/include",
24        "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/portable/MSVC-MingW",
25        "$(FREERTOS_PLUS_TCP)/source/include",
26        "$(FREERTOS_PLUS_TCP)/source/portable/Compiler/MSVC",
27        "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
28        "$(FREERTOS_PLUS_TCP)/test/cbmc/patches",
29        "$(FREERTOS_PLUS_TCP)/test/cbmc/windows",
30        "$(FREERTOS_PLUS_TCP)/test/cbmc/windows2"
31    ],
32
33    "CBMCFLAGS ": [
34	"--object-bits 8",
35	"--32",
36	"--bounds-check",
37	"--pointer-check"
38    ],
39
40    "FORWARD_SLASH": ["/"],
41
42    "TYPE_HEADERS": [
43        "$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/queue.c"
44    ]
45}
46