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. firstname.lastname@example.org