Testing Methodology
===================

Simple algorithms are shown to be correct through visual inspection and
comparison against hand-crafted examples. Correctness for more complex
algorithms is often "boot-strapped" by comparing the results of simple
algorithms versus the complex algorithms on a large number of randomly-generated
datasets.

This is a work in progress. TODO

Correctness
===========

Correctness is established via a number of methodologies building from code
inspection in the simplest cases to output comparison between simple and complex
implementations.

Correctness is noted in source code comments under `@correctness` sections.
These are, in turn, printed to the Doxygen documentation output.

A master list of how correctness was established for each algorithm is available
at [tests/README.md](tests/README.md).