A generic test program was written, that generates a system holding
pseudo-random numbers, solves it using the optimized code, and finally
checks the
residual. The test utility is trivial but
should catch most errors anyway.
I have of course tested the generated solvers for numerous systems, and it is my belief, that the optimizer and code generator behaves correctly for any given (valid) system.
<