File tree Expand file tree Collapse file tree 3 files changed +11
-8
lines changed Expand file tree Collapse file tree 3 files changed +11
-8
lines changed Original file line number Diff line number Diff line change @@ -89,6 +89,9 @@ target_link_libraries(
89
89
json-symtab-language
90
90
statement-list
91
91
)
92
+ if (WITH_MEMORY_ANALYZER )
93
+ target_link_libraries (unit memory-analyzer-lib )
94
+ endif ()
92
95
93
96
add_test (
94
97
NAME unit
Original file line number Diff line number Diff line change @@ -277,6 +277,8 @@ CATCH_TEST = unit_tests$(EXEEXT)
277
277
EXCLUDED_TESTS =expr_undefined_casts.cpp
278
278
ifneq ($(WITH_MEMORY_ANALYZER ) ,1)
279
279
EXCLUDED_TESTS += gdb_api.cpp
280
+ else
281
+ CPROVER_LIBS += ../src/memory-analyzer/gdb_api$(OBJEXT )
280
282
endif
281
283
ifeq ($(MINISAT2 ) ,)
282
284
EXCLUDED_TESTS += satcheck_minisat2.cpp
Original file line number Diff line number Diff line change 7
7
8
8
\*******************************************************************/
9
9
10
+ #include < util/run.h>
11
+ #include < util/tempfile.h>
12
+
13
+ #include < memory-analyzer/gdb_api.h>
10
14
#include < testing-utils/use_catch.h>
11
15
12
16
#include < cstdio>
17
+ #include < fstream>
18
+ #include < iostream>
13
19
#include < regex>
14
20
#include < string>
15
21
#include < vector>
16
22
17
- #include < fstream>
18
- #include < iostream>
19
-
20
- #include < memory-analyzer/gdb_api.cpp>
21
-
22
- #include < util/run.h>
23
- #include < util/tempfile.h>
24
-
25
23
struct compile_test_filet
26
24
{
27
25
compile_test_filet () : compiled(" test" , " " )
You can’t perform that action at this time.
0 commit comments