Changes the options of the state and its associated reporter.
Changes the options of the state and its associated reporter.
a function to change the options.
the state with the options changed.
Called when an assertion fails.
Called when an assertion fails.
a message for this assertion.
the source position of the assertion.
the new state.
Used to implement a labeled block.
Used to implement a labeled block.
the name of the labeled block.
the actions in the labeled block.
true, if the top level actions are to be run in parallel.
the source position of the labeled block.
the new state.
the reporter used to handle output when this state changes.
This method is used to run test.
This method is used to run test.
the name of the tests.
a LambdaAct containing all the test actions to be run.
true, if the top level actions in body are to be run in parallel.
Called when an assertion succeeds.
Called when an assertion succeeds.
a message for this assertion.
the source position of the assertion.
the new state.
Used to implement a test.
Used to implement a test.
the name of the test.
the actions in the test.
true, if the top level actions are to be run in parallel.
the source position of the test.
the new state.
Called when an unexpected exception is encounted.
Called when an unexpected exception is encounted.
the exception.
the position where the exception was detected. This is used to prune the stack trace.
the new state.
The immutable state object that holds all testing state. Operations create new immutable state object. The methods here should not be used in user test code (that extends LambdaTest). These methods can be called from new LambdaAct code.