Testes Não Provarão Que Duas Funções São Equivalentes. Veja o Que Vai.
A programação N-version assume que suas implementações concordam. Veja por que os testes não são suficientes, como os solvers SMT podem de fato provar equivalência, e onde traçar a linha entre bom o suficiente e formalmente verificado.
