이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김수
가입: 2017년 9월 5일 올린 글: 16
|
올려짐: 2017년10월13일 12:42 주제: 3-1 추가 테스트 |
|
|
스켈레톤 코드에 들어있는 현행 example/test*.k- 가 커버하지 못하는 경우를 추가적으로 테스트합니다.
코드: |
(* Public test case 12 *)
(* Test list
while
*)
let x := 0 in
while not (x = 5) do (
write x;
x := x + 1
)
(* Output *)
(* 0 ~ 4 *)
|
코드: |
(* Public test case 13 *)
(* Test list
letf
callv
*)
let proc incr(n) = n + 1 in
let x := 1 in
write incr(x);
let proc add(a, b, c) = a + b + c in
let a := 2 - 1 in
let b := 1 + 1 in
let c := 10 / 3 in
write add(a, b, c);
let proc fact(n) = (if (n = 0) then 1 else (n * fact(n - 1))) in
write fact(4)
(* Output *)
(*
2
6
24
*)
|
코드: |
(* Public test case 14 *)
(* Test list
unbound read
*)
read x
(* Errors - if not handled then "Fatal error: exception ..." else "Error : ..." *)
(*
Unbound
*)
|
|
|
위로 |
|
|
박찬양
가입: 2017년 9월 11일 올린 글: 6
|
올려짐: 2017년10월18일 22:41 주제: |
|
|
감사합니다!
개인적으로 오류가 났던 테스트케이스 하나 추가합니다.
(* test case : Record *)
let c := 1 in
let i := 2 in
let x := {i := 10} in
write i;
write x.i;
write x.c
(* Output
2
10
Error : Unbound
*) |
|
위로 |
|
|
김재윤
가입: 2017년 9월 13일 올린 글: 10
|
올려짐: 2017년10월19일 13:21 주제: |
|
|
감사합니다! |
|
위로 |
|
|
김수
가입: 2017년 9월 5일 올린 글: 16
|
|
위로 |
|
|
|