@@ -31,28 +31,30 @@ Release/*
31
31
* .lib
32
32
src /ansi-c /converter_input.txt
33
33
src /util /version.cpp
34
- src /ansi-c /arm_builtin_headers.inc
35
- src /ansi-c /clang_builtin_headers.inc
36
34
src /ansi-c /cprover_builtin_headers.inc
37
35
src /ansi-c /cprover_library.inc
38
- src /ansi-c /cw_builtin_headers.inc
39
- src /ansi-c /gcc_builtin_headers_types.inc
40
- src /ansi-c /gcc_builtin_headers_alpha.inc
41
- src /ansi-c /gcc_builtin_headers_arm.inc
42
- src /ansi-c /gcc_builtin_headers_generic.inc
43
- src /ansi-c /gcc_builtin_headers_ia32-2.inc
44
- src /ansi-c /gcc_builtin_headers_ia32-3.inc
45
- src /ansi-c /gcc_builtin_headers_ia32-4.inc
46
- src /ansi-c /gcc_builtin_headers_ia32-5.inc
47
- src /ansi-c /gcc_builtin_headers_ia32.inc
48
- src /ansi-c /gcc_builtin_headers_math.inc
49
- src /ansi-c /gcc_builtin_headers_mem_string.inc
50
- src /ansi-c /gcc_builtin_headers_omp.inc
51
- src /ansi-c /gcc_builtin_headers_tm.inc
52
- src /ansi-c /gcc_builtin_headers_mips.inc
53
- src /ansi-c /gcc_builtin_headers_power.inc
54
- src /ansi-c /gcc_builtin_headers_ubsan.inc
55
- src /ansi-c /windows_builtin_headers.inc
36
+ src /ansi-c /compiler_headers /arm_builtin_headers.inc
37
+ src /ansi-c /compiler_headers /clang_builtin_headers.inc
38
+ src /ansi-c /compiler_headers /cw_builtin_headers.inc
39
+ src /ansi-c /compiler_headers /gcc_builtin_headers_alpha.inc
40
+ src /ansi-c /compiler_headers /gcc_builtin_headers_arm.inc
41
+ src /ansi-c /compiler_headers /gcc_builtin_headers_generic.inc
42
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ia32-2.inc
43
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ia32-3.inc
44
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ia32-4.inc
45
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ia32-5.inc
46
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ia32-6.inc
47
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ia32.inc
48
+ src /ansi-c /compiler_headers /gcc_builtin_headers_math.inc
49
+ src /ansi-c /compiler_headers /gcc_builtin_headers_mem_string.inc
50
+ src /ansi-c /compiler_headers /gcc_builtin_headers_mips.inc
51
+ src /ansi-c /compiler_headers /gcc_builtin_headers_omp.inc
52
+ src /ansi-c /compiler_headers /gcc_builtin_headers_power.inc
53
+ src /ansi-c /compiler_headers /gcc_builtin_headers_tm.inc
54
+ src /ansi-c /compiler_headers /gcc_builtin_headers_types.inc
55
+ src /ansi-c /compiler_headers /gcc_builtin_headers_types_gcc7plus.inc
56
+ src /ansi-c /compiler_headers /gcc_builtin_headers_ubsan.inc
57
+ src /ansi-c /compiler_headers /windows_builtin_headers.inc
56
58
src /cpp /cprover_library.inc
57
59
58
60
# regression/test files
@@ -63,8 +65,13 @@ regression/**/*.goto-cc-saved
63
65
regression /** /* .gb
64
66
regression /** /* .smt2
65
67
regression /solver-hardness /solver-hardness-simple /solver_hardness.json
68
+ regression /goto-instrument-wmm-core /* /* .txt
69
+ regression /goto-instrument-wmm-core /* /* .dot
66
70
jbmc /regression /** /tests.log
67
71
jbmc /regression /** /tests-symex-driven-loading.log
72
+ unit /memory-analyzer /input.inc
73
+ unit /memory-analyzer /test.inc
74
+ unit /gdb.txt
68
75
69
76
# regression/coverage file
70
77
/regression /coverage_ **
@@ -112,15 +119,21 @@ src/cprover/cprover
112
119
src /crangler /crangler
113
120
src /goto-analyzer /goto-analyzer
114
121
src /goto-analyzer /goto-analyzer.exe
122
+ src /goto-bmc
123
+ src /goto-bmc.exe
115
124
src /goto-cc /goto-cc
116
125
src /goto-cc /goto-gcc
117
126
src /goto-cc /goto-ld
118
127
src /goto-cc /goto-cc.exe
119
128
src /goto-cc /goto-cl.exe
120
129
src /goto-harness /goto-harness
121
130
src /goto-harness /goto-harness.exe
131
+ src /goto-inspect /goto-inspect
132
+ src /goto-inspect /goto-inspect.exe
122
133
src /goto-instrument /goto-instrument
123
134
src /goto-instrument /goto-instrument.exe
135
+ src /goto-synthesizer /goto-synthesizer
136
+ src /goto-synthesizer /goto-synthesizer.exe
124
137
src /solvers /smt2_solver
125
138
src /solvers /smt2_solver.exe
126
139
src /memory-analyzer /memory-analyzer
0 commit comments