PropCheck.OutputAgent (PropCheck v1.5.0)

View Source

An 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

child_spec(arg)

Returns a specification to start this module under a supervisor.

See Supervisor.

close(agent)

Stop the agent and retrieve the output.

put(agent, string)

Put new output to the agent.

start_link()

Start the agent.