이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
민현기
가입: 2012년 9월 15일 올린 글: 29
|
올려짐: 2012년12월21일 15:36 주제: 프로젝트3 테스트셋 3개 |
|
|
check_cmd에 대해 좀 극단적인 케이스들로 시험해 봤습니다.
(* true *)
l2: x has read;
y has 1;
z has 200;
x has x + z;
l: say x;
x has x - y;
goto l on x;
x has read;
x has x - z;
l3: say x;
x has x + y;
goto l3 on x;
x has 1;
goto l2 on x;
say w
(* false *)
x has -1000000000;
y has 1;
l: say x;
x has x + y;
goto l on x;
z has 1000000000;
ll: say z;
z has z - y;
goto ll on z;
w has 100000000;
l1: say w;
w has w - y;
goto l1 on w;
k has 100000000;
l2: say k;
k has k - y;
goto l2 on k;
h has -10000000;
l3: say h;
h has h + y;
goto l3 on h;
h has 10000000;
l4: say h;
h has h - y;
goto l4 on h;
h has 10000000;
l5: say h;
h has h - y;
goto l5 on h;
q has 10000000;
l6: say q;
q has q - y;
goto l6 on q;
q has -10000000;
l7: say q;
q has q + y;
goto l7 on q;
q has 10000000;
l8: say q;
q has q - y;
goto l8 on q;
p has -10000000;
l9: say p;
p has p + y;
goto l9 on p;
say pq
(* true *)
x has 10000000;
y has 1;
l: say x;
x has x - y;
goto l on x;
z has 10000000;
ll: say z;
z has z - y;
goto ll on z;
w has 10000000;
l1: say w;
w has w - y;
goto l1 on w;
k has 10000000;
l2: say k;
k has k - y;
goto l2 on k;
h has 100000000;
l3: say h;
h has h - y;
goto l3 on h;
h has 10000000;
l4: say h;
h has h - y;
goto l4 on h;
h has 10000000;
l5: say h;
h has h - y;
goto l5 on h;
q has 10000000;
l6: say q;
q has q - y;
goto l6 on q;
q has 10000000;
l7: say q;
q has q - y;
goto l7 on q;
q has 1000000000;
l8: say q;
q has q - y;
goto l8 on q;
p has 10000000;
l9: say p;
p has p - y;
goto l9 on p;
say p
민현기 가 2012년12월21일 17:14에 수정함, 총 1 번 수정됨 |
|
위로 |
|
|
민현기
가입: 2012년 9월 15일 올린 글: 29
|
올려짐: 2012년12월21일 16:10 주제: |
|
|
하나 더 추가합니다.
(* false *)
w has 100;
l2: x has read;
y has 1;
z has 200;
x has x + z;
w has w - y;
l: say x;
x has x - y;
goto l on x;
x has read;
x has x - z;
l3: say x;
x has x + y;
goto l3 on x;
goto l2 on w;
say k |
|
위로 |
|
|
서석준
가입: 2012년 9월 13일 올린 글: 59
|
올려짐: 2012년12월21일 22:01 주제: . |
|
|
왜 저는 음수가 파싱이 안받아질까요??
지영아 너는 파싱이 잘돼??? |
|
위로 |
|
|
최지헌
가입: 2012년 9월 6일 올린 글: 35
|
올려짐: 2012년12월21일 22:04 주제: |
|
|
음수 파싱 안되는 버그 있었음..
새로 받으면 괜찮을듯 |
|
위로 |
|
|
|