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