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(
8989 json-symtab-language
9090 statement-list
9191)
92+ if (WITH_MEMORY_ANALYZER)
93+ target_link_libraries (unit memory-analyzer-lib)
94+ endif ()
9295
9396add_test (
9497 NAME unit
Original file line number Diff line number Diff line change @@ -278,6 +278,8 @@ CATCH_TEST = unit_tests$(EXEEXT)
278278EXCLUDED_TESTS =expr_undefined_casts.cpp
279279ifneq ($(WITH_MEMORY_ANALYZER ) ,1)
280280EXCLUDED_TESTS += gdb_api.cpp
281+ else
282+ CPROVER_LIBS += ../src/memory-analyzer/gdb_api$(OBJEXT )
281283endif
282284ifeq ($(MINISAT2 ) ,)
283285EXCLUDED_TESTS += satcheck_minisat2.cpp
Original file line number Diff line number Diff line change @@ -7,21 +7,19 @@ Author: Malte Mues <mail.mues@gmail.com>
77
88\*******************************************************************/
99
10+ #include < util/run.h>
11+ #include < util/tempfile.h>
12+
13+ #include < memory-analyzer/gdb_api.h>
1014#include < testing-utils/use_catch.h>
1115
1216#include < cstdio>
17+ #include < fstream>
18+ #include < iostream>
1319#include < regex>
1420#include < string>
1521#include < vector>
1622
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-
2523struct compile_test_filet
2624{
2725 compile_test_filet () : compiled(" test" , " " )
You can’t perform that action at this time.
0 commit comments