Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field: https://dl.acm.org/doi/10.1145/2666356.2594

Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field: https://dl.acm.org/doi/10.1145/2666356.2594334 https://dl.acm.org/doi/10.1145/2666356.2594334