Add has_properties_to_check

Author: peterschrammel

src/goto-checker/properties.cpp

@@ -233,3 +233,17 @@ resultt determine_result(const propertiest &properties)
   }
   return static_cast<resultt>(status);
 }
+
+bool has_properties_to_check(const propertiest &properties)
+{
+  for(const auto &property_pair : properties)
+  {
+    if(
+      property_pair.second.status == property_statust::NOT_CHECKED ||
+      property_pair.second.status == property_statust::UNKNOWN)
+    {
+      return true;
+    }
+  }
+  return false;
+}

src/goto-checker/properties.h

@@ -89,6 +89,9 @@ int result_to_exit_code(resultt result);
 /// Return the number of properties with given \p status
 std::size_t count_properties(const propertiest &, property_statust);
 
+/// Return true if there as a property with NOT_CHECKED or UNKNOWN status.
+bool has_properties_to_check(const propertiest &properties);
+
 property_statust &operator|=(property_statust &, property_statust const &);
 property_statust &operator&=(property_statust &, property_statust const &);
 resultt determine_result(const propertiest &properties);