Verifier

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

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.

Variables:

• 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.

solve()