Skip to content

Commit 8998e64

Browse files
committed
Pull struct helpers out of full_struct merge unit tests
1 parent f361277 commit 8998e64

File tree

4 files changed

+252
-191
lines changed

4 files changed

+252
-191
lines changed

unit/Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,7 @@ SRC += analyses/ai/ai.cpp \
2929
analyses/variable-sensitivity/interval_abstract_value/to_predicate.cpp \
3030
analyses/variable-sensitivity/interval_abstract_value/widening_merge.cpp \
3131
analyses/variable-sensitivity/full_struct_abstract_object/merge.cpp \
32+
analyses/variable-sensitivity/full_struct_abstract_object/struct_builder.cpp \
3233
analyses/variable-sensitivity/last_written_location.cpp \
3334
analyses/variable-sensitivity/value_expression_evaluation/assume.cpp \
3435
analyses/variable-sensitivity/value_expression_evaluation/assume_prune.cpp \

0 commit comments

Comments
 (0)