Update lib/cbmc to cbmc#1419

Author: peterschrammel

lib/cbmc

@@ -20,6 +20,15 @@ OBJ += ../../$(CPROVER_DIR)/ansi-c/ansi-c$(LIBEXT) \
        ../../$(CPROVER_DIR)/goto-symex/rewrite_union$(OBJEXT) \
        ../../$(CPROVER_DIR)/pointer-analysis/dereference$(OBJEXT) \
        ../../$(CPROVER_DIR)/goto-instrument/cover$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_basic_blocks$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_filter$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_instrument_branch$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_instrument_condition$(OBJEXT)  \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_instrument_decision$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_instrument_location$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_instrument_mcdc$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_instrument_other$(OBJEXT) \
+       ../../$(CPROVER_DIR)/goto-instrument/cover_util$(OBJEXT) \
        ../../$(CPROVER_DIR)/path-symex/path-symex$(LIBEXT) \
        ../../$(CPROVER_DIR)/miniz/miniz$(OBJEXT) \
        ../../$(CPROVER_DIR)/json/json$(LIBEXT)

src/symex/Makefile

@@ -17,6 +17,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <goto-programs/goto_model.h>
 #include <goto-programs/show_goto_functions.h>
+#include <goto-programs/rebuild_goto_start_function.h>
 
 #include <analyses/goto_check.h>