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
   ///