Skip to content

Commit 0e58b9b

Browse files
author
Enrico Steffinlongo
committed
Adding unit tests for SM typecheck.
1 parent 4fbc45a commit 0e58b9b

File tree

2 files changed

+475
-0
lines changed

2 files changed

+475
-0
lines changed

unit/Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -51,6 +51,7 @@ SRC += analyses/ai/ai.cpp \
5151
ansi-c/expr2c.cpp \
5252
ansi-c/max_malloc_size.cpp \
5353
ansi-c/type2name.cpp \
54+
ansi-c/c_typecheck_base.cpp \
5455
big-int/big-int.cpp \
5556
compound_block_locations.cpp \
5657
get_goto_model_from_c_test.cpp \

0 commit comments

Comments
 (0)