chore: updating readme

README.md

@@ -6,6 +6,7 @@
 - [Foundry Testing](#foundry-testing)
 - [Echidna Property Testing](#echidna-property-testing)
 - [Medusa Property Testing](#medusa-property-testing)
+- [Halmos Symbolic Execution Testing](#halmos-symbolic-exection)
 - [Uploading Fuzz Job To Recon](#uploading-fuzz-job-to-recon)
 
 This Foundry template allows you to bootstrap a fuzz testing suite using a scaffolding provided by the [Recon](https://getrecon.xyz/) tool.
@@ -61,6 +62,16 @@ To test only in property mode disable assertion mode using:
 
 in [medusa.json](https://github.com/Recon-Fuzz/create-chimera-app/blob/main/medusa.json).
 
+### Halmos Symbolic Exection
+
+Halmos uses symbolic execution to evaluate test cases for all possible input values.See more about this [here](https://github.com/a16z/halmos).
+
+To run halmos:
+
+```shell
+halmos --mc HalmosTester
+```
+
 ## Uploading Fuzz Job To Recon
 
 You can offload your fuzzing job to Recon to run long duration jobs and share test results with collaborators using the [jobs page](https://getrecon.xyz/dashboard/jobs) on Recon: