Merge pull request #901 from dcattaruzza/ml-test-gen-integration

Added new friend to bmc to handle refactoring

Author: Daniel Kroening

src/cbmc/bmc.h

@@ -110,6 +110,8 @@ class bmct:public safety_checkert
 
   friend class bmc_all_propertiest;
   friend class bmc_covert;
+  template <template <class goalt> class covert>
+  friend class bmc_goal_covert;
   friend class fault_localizationt;
 };