[정우근]

변수가 가질 수 있는 값은 -5에서 +5까지의 정수. 그 이외의 값을 변수가 가지게 되면 현재상태로 실행 끝

이라는 부분에 대해서 질문인데요.

실행 끝이라 함은 프로그램 싹쓸이의 실행 전체의 끝을 말하는건가요.
아니면 그 cmd의 실행을 끝내고 그때까지의 실행 결과로 나머지 cmd를 실행하는건가요?
예를들어

x := 1; (x := x+1)*; x:=x-1
의 경우 리턴값이
[1,2,3,4,5]((x := x+1)*수행중 6을 state로 가지게 되어 싹쓸이를 종료하고 값을 리턴)
이 되는건가요 아니면
[0,1,2,3,4]((x := x+1)*수행중 6을 state로 가지게 되어 그 cmd의 실행을 멈추고 다음 cmd를 시행)
이 되는건가요?

[blindblue]

저도 이거 때문에 헷갈리네요 ㅠ 어떻게 처리해야 할지...

[신기정]

다음 cmd를 수행하지 않고 바로 종료합니다.

예를 들어서

testset 중에

x=6;(x=x-1)* 이런게 좋은 예이겠네요.

초기 state를 1로 넣고 이 test를 실행하면

6을 대입한 후.

이거 뭥미?해서

현재 state 1을 로 명령을 종료합니다.

뒤에 명령은 실행하지 않습니다.

[장수원]