Add count_properties with given result

To count how many properties have a certain status.
This will be used in property reporting.

Author: peterschrammel

src/goto-checker/properties.cpp

@@ -88,3 +88,15 @@ propertiest initialize_properties(const abstract_goto_modelt &goto_model)
   }
   return properties;
 }
+
+std::size_t
+count_properties(const propertiest &properties, property_statust status)
+{
+  std::size_t count = 0;
+  for(const auto &property_pair : properties)
+  {
+    if(property_pair.second.status == status)
+      ++count;
+  }
+  return count;
+}

src/goto-checker/properties.h

@@ -73,4 +73,7 @@ typedef std::unordered_map<irep_idt, property_infot> propertiest;
 /// Returns the properties in the goto model
 propertiest initialize_properties(const abstract_goto_modelt &);
 
+/// Return the number of properties with given \p status
+std::size_t count_properties(const propertiest &, property_statust);
+
 #endif // CPROVER_GOTO_CHECKER_PROPERTIES_H