class kona.algorithms.Verifier(primal_factory, state_factory, eq_factory, ineq_factory, optns=None)[source]

Bases: kona.algorithms.base_algorithm.OptimizationAlgorithm

This is a verification tool that performs finite-difference checks on the provided solver to make sure that the required tasks have been implemented correctly by the user.

  • out_stream (file) – File handle for verification output.
  • factor_matrices (bool) – Boolean flag for matrix-based PDE solvers.
  • exit_verify (warnings_flagged,) – Flags for terminating verification.
  • failures (dict) – Dictionary containing verification results.
  • non_critical, all_tests (critical,) – Lists of dictionary key names for critical, non-critical, and complete verification tests.