a goal should be identified by a source_locationt

Signed-off-by: Lucas Cordeiro <[email protected]>

Author: lucasccordeiro

src/goto-instrument/cover.cpp

@@ -104,10 +104,13 @@ class basic_blockst
 
 bool coverage_goalst::is_existing_goal(source_locationt source_location)
 {
-  std::vector<std::string>::iterator it;
-  it = find (existing_goals.begin(), existing_goals.end(),
-		  source_location.get_line().c_str());
-
+  std::vector<source_locationt>::iterator it = existing_goals.begin();
+  while (it!=existing_goals.end())
+  {
+    if (!source_location.get_line().compare(it->get_line()))
+      break;
+    ++it;
+  }
   if(it == existing_goals.end())
     return true;
   else

src/goto-instrument/cover.h

@@ -24,11 +24,11 @@ class coverage_goalst
 public:
   void get_coverage(const std::string &coverage,
                     message_handlert &message_handler);
-  void set_goals(std::string goal);
+  void set_goals(source_locationt goal);
   bool is_existing_goal(source_locationt source_location);
 
 private:
-  std::vector<std::string> existing_goals;
+  std::vector<source_locationt> existing_goals;
 };
 
 enum class coverage_criteriont