PropCheck.OutputAgent.close

You're seeing just the function close, go back to PropCheck.OutputAgent module for more information.

Stop the agent and retrieve the output.