두 코드의 역할이 완전히 같음을 프로그램으로 증명할 수 있나요?

[닉네임왜궁금한..(cmdnikle27)]

좀 더 자세히 말하자면 두 코드의 내용이나 알고리즘은 다를 수 있지만, 어떤 입력값에도 두 코드가 항상 동일한 출력값을 낸다는 것을 알아낼 수 있나요?

- 엔타로 하스켈!

[코로모(qscsq1)]

모든 입력 경우의 수에 대해 출력이 같으면 됩니다. 전수조사가 아니면 불가능할듯

[시크(210.206)]

수학적으로 ㅇ

[쾌청(121.133)]

100% conditional coverage의 테스트에서 모두 같은결과가 나온다면 같은기능을 한다고 볼수있지