From d4dbdfbdfe06a0783b1acf7de5325ddc4f39057f Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 13 Feb 2017 11:07:49 +0000
Subject: [PATCH] Include cbmc/symex_coverage in CEGIS build

Fixes: 910ca64 ("cbmc --symex-coverage-report: Cobertura-compatible coverage output")
---
 src/cegis/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cegis/Makefile b/src/cegis/Makefile
index 95c5abbb2a9..27a6880a651 100644
--- a/src/cegis/Makefile
+++ b/src/cegis/Makefile
@@ -114,7 +114,8 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
       ../cbmc/bv_cbmc$(OBJEXT) ../cbmc/counterexample_beautification$(OBJEXT) \
       ../cbmc/show_vcc$(OBJEXT) \
       ../cbmc/cbmc_dimacs$(OBJEXT) ../cbmc/all_properties$(OBJEXT) \
-      ../cbmc/fault_localization$(OBJEXT)
+      ../cbmc/fault_localization$(OBJEXT) \
+      ../cbmc/symex_coverage$(OBJEXT)
 
 INCLUDES= -I ..