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 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
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).