From bb64e191182597bd8b77a3c1c64654b1750af68e Mon Sep 17 00:00:00 2001
From: Joel Allred <joel.allred@diffblue.com>
Date: Tue, 5 Mar 2019 11:24:27 +0000
Subject: [PATCH] Add back two declarations needed for test-gen

These were removed in #4216.

This is temporary and these two declarations will be removed once
https://github.com/diffblue/test-gen/tree/svorenova/goto-checker
is merged.
---
 src/cbmc/bmc.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/cbmc/bmc.h b/src/cbmc/bmc.h
index 851f2a6566d..d66c6e0ae05 100644
--- a/src/cbmc/bmc.h
+++ b/src/cbmc/bmc.h
@@ -193,6 +193,10 @@ class bmct:public safety_checkert
 
   friend class bmc_all_propertiest;
 
+  // \todo remove these two declarations once test-gen dependency is fixed
+  bool cover(const goto_functionst &goto_functions);
+  friend class bmc_covert;
+
 private:
   /// \brief Class-specific symbolic execution
   ///