feat: update readme

Author: as535364

Lab6/Makefile

@@ -1,7 +1,7 @@
 .PHONY: all run run1 run2 clean
 
 all:
-	@gcc -o chal -no-pie chal.c
+	@gcc -o chal chal.c
 
 run: run1 run2
 

Lab6/README.md

@@ -21,17 +21,18 @@ While other creative solutions might exist, this problem is specifically designe
 
 Your grade will be based on the following criteria:
 
-1.  **(70%) Correctness**:
-    *   (30%) Your generated `1.txt` passes the check from `./validate.sh 1`.
-    *   (40%) Your generated `2.txt` passes the check from `./validate.sh 2`.
+1.  **(55%) Correctness**:
+    *   (20%) Your generated `1.txt` passes the check from `./validate.sh 1`.
+    *   (35%) Your generated `2.txt` passes the check from `./validate.sh 2`.
+2.  **(15%)** You take use of **symbolic execution** to solve the problem.
 2.  **(30%) Solution Report**:
     *   You must submit a report named `{student_id}_solution.pdf` (e.g., `314551001_solution.pdf`).
     *   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.
 
 ### Bonus
 
 1. **(10%)**: Your solution report is well-organized, easy to read, and includes clear code snippets with syntax highlighting.
-2. **(10%)**: You use **angr**.
+2. **(20%)**: You use **angr** to solve the problem within 10 minutes. DEMO REQUIRED.
 
 You will get 0 points if
 1. You modify any other files (`Makefile`, `validate.sh`, etc.) or patch the binary (`chal`) to simplify the challenge.