PropCheck.OutputAgent (PropCheck v1.5.0)
View SourceAn agent to gather unique PropCheck-internal output from tests.
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.
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.