Add has_properties_to_check

Author: peterschrammel

src/goto-checker/properties.cpp

@@ -134,3 +134,18 @@ count_properties(const propertiest &properties, property_resultt result)
   }
   return count;
 }
+
+/// Returns true if there as a property with NOT_REACHED or UNKNOWN result.
+bool has_properties_to_check(const propertiest &properties)
+{
+  for(const auto &property_pair : properties)
+  {
+    if(
+      property_pair.second.result == property_resultt::NOT_REACHED ||
+      property_pair.second.result == property_resultt::UNKNOWN)
+    {
+      return true;
+    }
+  }
+  return false;
+}

src/goto-checker/properties.h

@@ -84,4 +84,6 @@ int result_to_exit_code(resultt result);
 std::size_t
 count_properties(const propertiest &properties, property_resultt result);
 
+bool has_properties_to_check(const propertiest &properties);
+
 #endif // CPROVER_GOTO_CHECKER_PROPERTIES_H