PropCheck.OutputAgent (PropCheck v1.4.1) View Source
An agent to gather unique PropCheck-internal output from tests.
Link to this section Summary
Functions
Returns a specification to start this module under a supervisor.
Stop the agent and retrieve the output.
Put new output to the agent.
Start the agent.
Link to this section Functions
Returns a specification to start this module under a supervisor.
See Supervisor.
Stop the agent and retrieve the output.
Put new output to the agent.
Start the agent.