O código-fonte está correto e o resultado é o esperado.

O código-fonte não está correto e o resultado é o esperado.

Se o resultado não é o esperado, então o código-fonte não está correto.

Ou o código-fonte está correto ou o resultado é o esperado.

Se o resultado é o esperado, então o código-fonte está correto.