Where possible, all of the tests included in FLaT test both proper functionality and correctness. The methods employed in this module are all well know, and therefore it is easy to test correctness.