-
Notifications
You must be signed in to change notification settings - Fork 19
Description
[English version follows.]
안녕하세요,
7,8번 과제가 나왔습니다.
다음 GitHub classroom 링크를 통해 과제 레포지토리를 생성하시기 바랍니다.
7번: https://classroom.github.com/a/xfOjfCu0
8번: https://classroom.github.com/a/6JbHiHh_
채점
과제의 채점은 GradeScope를 통해 자동으로 진행될 것입니다.
두 과제의 점수는 각각 다음과 같이 구성됩니다.
7번 과제
- 테스트 점수 (전체의 80%): 분석기가 모든 정탐(True Alarm)을 탐지하는지에 대한 점수입니다.
- 정확성 점수 (전체의 20%): 분석기가 얼마나 적은 오탐을 탐지하는지에 대한 점수입니다.
8번 과제
- 테스트 점수 (전체의 100%): 분석기가 모든 결과를 정확하게 분석하는지에 대한 점수입니다.
커버리지
README.md 문서에 안내된 바와 같이 기본 테스트 + 여러분의 수제 테스트로 커버리지를 측정할 예정입니다. 이 때 커버리지는 90% 이상이 나와야 합니다. 수제 테스트를 추가하는 방법은 해당 문서를 참고하시길 바랍니다.
제출 방법
먼저 여러분의 코드를 GitHub에 푸쉬해주시길 바랍니다.
그 후, 각각 KLMS의 "7. SmaLLVM Constraint-based analyzer" 와 "8. SmaLLVM Type Checker"라는 이름의 과제를 통해 GradeScope에 과제를 제출해주시길 바랍니다.
제출 기한
1차: 6. 5 (수) 23:59:59 까지
2차: 6. 7 (금) 23:59:59 까지 (늦은 제출에 대한 감점이 있습니다)
Hi all,
This is an announcement about Homework 7 and 8.
Here are the GitHub classroom links:
HW 7: https://classroom.github.com/a/xfOjfCu0
HW 8: https://classroom.github.com/a/6JbHiHh_
Auto grading
Your implementation will be graded using GradeScope.
The score of each of the homework will comprise as follows.
HW 7
- Test score (80% of overall score): score regarding whether your analyzer reports all the expected true alarms
- Precision score (20% of overall score): score regarding the precision of your analyzer
HW8
- Test score (100% of overall score): score regarding whether your analyzer produces correct results.
Coverage
As explained in the README file, we will check the coverage of your code (> 90%) using the basic tests + your custom tests.
Refer to this document for how to add your custom tests.
How to submit
As before, push your code to GitHub first.
Then, submit via Gradescope, which you can access by the assignment "7. SmaLLVM Constraint-based analyzer" and "8. SmaLLVM Type Checker" in KLMS.
Due date
Due: 6. 5 (Wed.) 23:59:59
Late Due: 6. 7 (Fri.) 23:59:59 (with late submission penalty).