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-2016 Paul R. Holser, Jr. All rights reserved. Licensed under The MIT License. pholser@alumni.rice.edu