Function _handle_assert

examples/06_effectful_verifier/python/refine.py:216–220

(value, refinement)

    vc_terms: list = []

    def _handle_assert(value, refinement):
        if isinstance(refinement, Gt):
            vc_terms.append(value > refinement.n)
        elif isinstance(refinement, Ge):
            vc_terms.append(value >= refinement.n)

    with handler({assert_refined: _handle_assert}):
        fn(**{name: var_ops[name]() for name in params})