Method load_json

verifier/AgentVerifier/WorkflowToLean.py:238–240

(path: str)

    @staticmethod
    def load_json(path: str) -> "WorkflowIR":
        with open(path, "r", encoding="utf-8") as f:
            return WorkflowIR.from_dict(json.load(f))


# ============================================================================