[공순호]

* 숙제 6 점수

http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw6.score.txt

-----

6-1 은 analyzer.ml을 올바로 작성했는지를 검사했습니다.

이를 위하여 17개의 testcase에 대해서 sign domain, interval domain, intset domain에 대한 분석 결과를 비교하였습니다.
while문의 경우 interval, intset domain에 대해서 분석이 끝이 나지 않을 수 있기 때문에
분석이 끝날 수 있는 testcase를 사용하였습니다.

6-2 는 interval.ml 을 올바로 작성했는지 검사했습니다.

이를 위하여 올바로 작성된 analyzer.ml 과 학생이 작성한 interval.ml으로
15개의 testcase를 분석하고 그 결과를 비교하였습니다.


6-3 는 intset.ml 을 올바로 작성했는지 검사했습니다.

이를 위하여 올바로 작성된 analyzer.ml 과 학생이 작성한 intset.ml으로
15개의 testcase를 분석하고 그 결과를 비교하였습니다.

-----

* Testset과 이에 대한 여러분 코드의 실행 결과를 확인할 수 있습니다. 점수표 하단의 설명을 참조하세요.
채점의 편의를 위하여서 통일된 pretty print를 이용하였습니다. 여러분이 작성한 pretty print의 결과물과 다를 수 있습니다.
이를 채점 결과 검토할 때에 참고하시기 바랍니다.

* 채점 결과에 대한 클래임은 앞으로 일주일 동안 받겠습니다.
메일 주시거나, 302동 312-2호로 방문해주시기 바랍니다.
_________________
- soon@ropas

[jhwon]

비교할 수 있도록 정답도 올려주시길 부탁드립니다.
_________________
프로그래밍 분석 2009 Spring 수강하는 학생입니다.

[공순호]

* 비교를 위한 올바른 출력 결과는 학번이 들어갈 자리에 solution을 사용하면 볼 수 있습니다.

예를 들어서

- http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-1/sign/solution/arithmetic.k.out
- http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-2/solution/while2.k.out
- http://ropas.snu.ac.kr/~ta/4541.664A/09/score/6-3/solution/if.k.out
_________________
- soon@ropas