공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월29일 17:01 주제: 숙제 4 점수 |
|
|
* 숙제 4 점수
http://ropas.snu.ac.kr/~ta/4541.664A/09/score/hw4.score.txt
---------
* 17개의 testcase에 대해서
tracingEval, collectingEval, pointCollectingEval의 결과가
올바르게 나오는지를 검사했습니다. 51점이 만점 입니다.
* state에 대해서 자유로운 정의를 허용했기 때문에,
조교가 코드와 실행 결과를 보면서 수동으로 채점하였습니다.
* skip에 대해서 https://ropas.snu.ac.kr/phpbb/viewtopic.php?p=4594#4594 에서 말씀드린 것과 같이 처리하지 않으면 감점했습니다.
단, skip.k가 아닌 다른 test에서 발생하는 것에 대해서는 중복 감점하지 않았습니다.
코드: |
x := 1;
skip;
x := 0;
skip
|
에 대해서
코드: |
{} -> {x |-> INT(1); } -> {x |-> INT(2); } -> End
|
가 아닌
코드: |
{} -> {x |-> INT(1); } -> {x |-> INT(1); } -> {x |-> INT(2); } -> {x |-> INT(2); } -> End
|
가 나와야합니다.
* Testset과 이에 대한 여러분 코드의 실행 결과를 확인할 수 있습니다. 점수표 하단의 설명을 참조하세요.
trace에 대해서 프로그램 시작에 해당하는 state가 앞쪽에서 출력되도록 조교가 여러분의 프로그램을 변경한 부분이 있습니다.
채점 결과 검토할 때에 참고하시기 바랍니다.
* 채점 결과에 대한 클래임은 앞으로 일주일 동안 받겠습니다.
메일 주시거나, 302동 312-2호로 방문해주시기 바랍니다. _________________ - soon@ropas |
|