NAME
t/runner.t - tests for Property and TestRunner
SYNOPSIS
perl -Ilib t/runner.t
DESCRIPTION
This test suite excercises Property and TestRunner, which work hand in hand.
SET UP
First, we declare a few helper functions.
Next, we declare a few simple properties to check.
TRIALS
Some tests to see if the trials control knob is working.
RETRIES
Some tests to see if the retries control knob is working.
EXCEPTION HANDLING
Some tests to see if exceptions are caught and reported properly:
LABELING
Some tests to observe labeling properties.
COUNTEREXAMPLE NOTES
Now we check to see whether notes attached to a failing trial are emitted as part of a counterexample.
SCALEFN
Here we check to see whether our scaling function is being used.
TEST NUMBERING
Here we see whether we can override the TestRunner's built in numbering.
VERBOSITY
Now we check to see whether the verbosity indicator is respected.
FAILURE RECORDING
Now we check to see if we can record failures and play them back as regression tests.
HELPER FUNCTIONS
The following helper checks the given properties as a suite and returns the test output as a string.
AUTHOR
Tom Moertel (tom@moertel.com)
COPYRIGHT and LICENSE
Copyright (C) 2004 by Thomas G Moertel. All rights reserved.
This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.