Skip to content

Commit 28dd969

Browse files
committed
unit/Makefile: add missing source files
1 parent 2022c3d commit 28dd969

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

unit/Makefile

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,15 @@ SRC += analyses/ai/ai.cpp \
1010
analyses/ai/ai_simplify_lhs.cpp \
1111
analyses/call_graph.cpp \
1212
analyses/constant_propagator.cpp \
13+
analyses/dependence_graph.cpp \
1314
analyses/disconnect_unreachable_nodes_in_graph.cpp \
1415
analyses/does_remove_const/does_expr_lose_const.cpp \
1516
analyses/does_remove_const/does_type_preserve_const_correctness.cpp \
1617
analyses/does_remove_const/is_type_at_least_as_const_as.cpp \
1718
goto-programs/goto_trace_output.cpp \
19+
json/json_parser.cpp \
1820
path_strategies.cpp \
21+
pointer-analysis/value_set.cpp \
1922
solvers/floatbv/float_utils.cpp \
2023
solvers/refinement/array_pool/array_pool.cpp \
2124
solvers/refinement/string_constraint_generator_valueof/calculate_max_string_length.cpp \

0 commit comments

Comments
 (0)