public class NilMinimalCounterexampleHook extends Object implements MinimalCounterexampleHook
Constructor and Description |
---|
NilMinimalCounterexampleHook() |
public void handle(Object[] counterexample, Runnable action)
handle
in interface MinimalCounterexampleHook
counterexample
- the minimal counterexample (after shrinking)action
- work to perform with the minimal counterexample;
for example, this could repeat the test using the same inputs.
This action should be safely callable multiple times.© Copyright 2010-2020 Paul R. Holser, Jr. All rights reserved. Licensed under The MIT License. pholser@alumni.rice.edu