Descrição
Código OCaml pode receber testes unitários com asserções, suítes e execução automatizada. É útil para desenvolvedores que querem proteção contra regressões ao mudar bibliotecas, aplicativos ou código relacionado a compiladores.
Frameworks de teste não provam correção por si só. Escreva casos significativos sobre comportamento, condições de borda, erros e expectativas de compatibilidade.