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

@@ -78,3 +78,16 @@ propertiest initialize_properties(const abstract_goto_modelt &goto_model)
   }
   return properties;
 }
+
+/// Returns the number of properties with given \p result
+std::size_t
+count_properties(const propertiest &properties, property_resultt result)
+{
+  std::size_t count = 0;
+  for(const auto &property_pair : properties)
+  {
+    if(property_pair.second.result == result)
+      ++count;
+  }
+  return count;
+}

src/goto-checker/properties.h

@@ -68,4 +68,7 @@ typedef std::unordered_map<irep_idt, property_infot> propertiest;
 /// Returns the properties in the goto model
 propertiest initialize_properties(const abstract_goto_modelt &);
 
+std::size_t
+count_properties(const propertiest &properties, property_resultt result);
+
 #endif // CPROVER_GOTO_CHECKER_PROPERTIES_H