Leeingnyo / pl-checker

2019F Programming Language Homework Checker
Other
10 stars 3 forks source link

Testcase Generator #3

Open kalaluthien opened 4 years ago

kalaluthien commented 4 years ago

PL에서 작성하는 코드에는 2가지 유형이 있습니다.

  1. 자료구조를 입력으로 받는 유형
  2. (주어진 파서를 이용하여) 프로그램을 입력으로 받는 유형

이 중 1번의 경우, testcase를 손으로 만드는 것은 효율이 떨어집니다.

어떠한 함수 f : random_int -> input_data_struct가 있어서, 랜덤 입력에 대한 f의 출력을 정답 바이너리학생 바이너리에 각각 넣고 결과를 비교하도록 체커를 작성하면 좋을 것 같네요.

Leeingnyo commented 4 years ago

ocaml 이 너무 어려워요... ㅜㅜ 이번에 추가된 2019-hw1-ex7 의 경우 https://gist.github.com/Leeingnyo/443097fec08f828fbc70911cd5f1cf22 의 코드로 gen 했습니다 (복붙)