[Announcement] Homework 4 is out

[yeonhee-ryou]

Hi all,

This is an announcement about Homework 4.
Here is the GitHub classroom link for this homework:
https://classroom.github.com/a/XmBkmGbq

Auto grading

Your implementation will be graded using GradeScope.
Please check GradeScope guideline.

Two scores are evaluated in this homework.

• Test score (80% of overall score): evaluate how well your analyzer reports defects.
• Worklist score (20% of overall score): evaluate how effective your worklist algorithm is.

Coverage

As explained in the README file, we will check the coverage of your code using the basic tests + your custom tests.
Refer to this document for how to add your custom tests.

Due date

Due: 10. 26 (Thu.) 23:59:59
Late Due: 10. 28 (Sat.) 23:59:59 (late submission penalty).