숙제 5도 동일 테스트케이스로 채점할 예정입니다. `mark` 밑에는 워터마크가 있는 프로그램 8개, `no-mark` 밑에는 워터마크가 없는 프로그램 5개가 있습니다. 프로그램의 길이는 수 줄에서 ~10000줄까지 다양하게 있습니다.
나아가 12개 정도의 추가 테스트케이스가 사용될 예정입니다. (각 10점, 총 25개)
뼈대코드는 동일합니다. dune 빌드 시스템으로 빌드할 때, `dune build --release`를 실행하면 컴파일이 됩니다. 이때 `_build/install/default/bin` 아래 `watercheck`가 최적화된 실행파일입니다 (긴 파일을 분석하기 위해서는 최적화된 실행파일을 사용하셔야 합니다).
혹은 바로
코드:
dune exec --release watercheck -- -analyze ...
으로 실행하셔도 동일합니다.
제출은 jhlee@ropas.snu.ac.kr 로 제목은 "[프로그램 분석] 20NN-NNNNN 숙제 6"(N은 본인 학번으로 대체)와 같이 이메일로 보내주세요.
이때 반드시 `dune clean`을 하여 용량이 큰 `_build`디렉터리를 포함하지 않은채로 보내주시기 바랍니다.