Skip to content

Commit fcaeddc

Browse files
committed
feat: update readme
1 parent f8036b8 commit fcaeddc

File tree

2 files changed

+6
-1
lines changed

2 files changed

+6
-1
lines changed

Lab6/README.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,11 +24,12 @@ 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 utilize symbolic execution to solve the problem.
27+
2. **(15%)** You utilize angr 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.
3131
* Elapsed time your solution took to run.
32+
* If you submit 1.txt or 2.txt, this report is required to be submitted, or you will get 0 points for the entire Lab 6.
3233

3334
### Bonus
3435

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11
# 114-fall-software-testing
22
Labs for NYCU software testing course in 114 fall
33

4+
## Lab 6
5+
6+
See [README.md](Lab6/README.md)
7+
48
## Lab 5
59

610
See [README.md](Lab5/README.md)

0 commit comments

Comments
 (0)