Skip to content

Commit f8036b8

Browse files
committed
feat: update lab6 readme
1 parent 6fcc8de commit f8036b8

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

Lab6/README.md

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -24,18 +24,20 @@ Your grade will be based on the following criteria:
2424
1. **(55%) Correctness**:
2525
* (20%) Your generated `1.txt` passes the check from `./validate.sh 1`.
2626
* (35%) Your generated `2.txt` passes the check from `./validate.sh 2`.
27-
2. **(15%)** You take use of **symbolic execution** to solve the problem.
27+
2. **(15%)** You utilize symbolic execution to solve the problem.
2828
2. **(30%) Solution Report**:
2929
* You must submit a report named `{student_id}_solution.pdf` (e.g., `314551001_solution.pdf`).
3030
* This report should clearly explain your methodology, the challenges you encountered, and how you solved them. If you used `angr`, describe the features you used.
31-
31+
* Elapsed time your solution took to run.
32+
3233
### Bonus
3334

34-
1. **(10%)**: Your solution report is well-organized, easy to read, and includes clear code snippets with syntax highlighting.
35-
2. **(20%)**: You use **angr** to solve the problem within 10 minutes. DEMO REQUIRED.
35+
1. **(10%)** Your solution report is well-organized, easy to read, and includes clear code snippets with syntax highlighting.
36+
2. **(20%)** You use **angr** to solve the problem within 10 minutes. DEMO REQUIRED.
37+
3. If you find more than two answers, please contact the TA via email, and you will receive some bonus rewards.
3638

3739
You will get 0 points if
38-
1. You modify any other files (`Makefile`, `validate.sh`, etc.) or patch the binary (`chal`) to simplify the challenge.
40+
1. You modify any other files (e.g., Makefile, validate.sh) or patch the binary (`chal`) to simplify the challenge.
3941
2. You can't pass all CI on your PR.
4042

4143
## Submission

0 commit comments

Comments
 (0)