[HW8] Coverage

[ianyk0213]

이름 Your Name

KimDohyung(김도형)

질문 Question

안녕하세요. 다름이 아니라 HW8의 coverage와 관련해 질문드리고자 합니다.

질문은 다음과 같습니다.

1. CFG.ml 내부에 있는 예외 처리 코드들(failwith ...)이나 Command.Binop등을 모두 절대로 사용되지 않을 것이라고 가정하고 지워버려도 되나요?
2. analyzer.ml 내부에 전혀 의미 없지만 반드시 실행되는 코드를 추가해서 coverage를 늘리는 것이 허용되나요? 혹은, cheating으로 간주되나요?

이와 같이 강제로 코드를 bloat하는 것이나 예외 처리를 무시하는 것이 보안의 관점에서나, 성실성의 관점에서나 적합하지 않는 다는 것은 알지만 이미 제가 작성하는 analyzer.ml의 coverage는 100%이고, CFG.ml 등에 있는 테스트 및 예시용 코드를 제거했음에도 불구하고 coverage가 전체 프로그램 중 cover된 줄의 비율로 평가되다 보니 90%를 넘기지 못하고 있는 상황이여서 질문드립니다.

감사합니다.

번역본 Translated Version

Hello, I would like to ask you a question regarding coverage of HW8.

The questions are as follows.

1. Can I delete all the exception handling codes (failwith...) or Command.Binop inside CFG.ml , assuming they will never be used?
2. Is it allowed to increase coverage by adding code that is completely meaningless inside analyzer.ml but must run? Or is it considered cheating?

I know that this kind of forced blotting of code or ignoring exception processing is not appropriate from a security or integrity perspective, but I'm already asking because the coverage of analyzer.ml is 100% and despite removing the test and example codes on CFG.ml , coverage is rated as a percentage of the covered lines of the entire program, so I'm not over 90%.

Thank you.

[ianyk0213]

적절한 input을 추가하는 방법으로 해결하였습니다. 번거롭게 해드려 죄송합니다. 감사합니다.