Update HOME_EXAM.md

HOME_EXAM.md

@@ -328,6 +328,8 @@ Declares the variable $`v`$ with type $`t`$ to current scope.
 ### Assign expression
 ```math
 {<v := e, σ> ⇓ σ[v := e]}
+
+\langle \text{test} \rangle
 ```
 
 ### If true/false expression