Update README.md

Recon-Fuzz · Nov 7, 2023 · d03fa14 · d03fa14
1 parent d610bb1
commit d03fa14
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -15,6 +15,9 @@ Chimera addresses this problem by enabling a "write once, run everywhere" approa
 
 ### Features
 
-- Boilerplate contracts for Foundry, Echidna, Medusa, and Halmos tests
-- Scripts to convert results from one tool to another
-- TBD
+- [x] Boilerplate contracts for Foundry, Echidna, Medusa, and Halmos tests
+- [ ] Python installation
+- [ ] `chimera init`: quickstarts a property-based testing setup for Foundry, Echidna, Medusa and Halmos
+- [ ] `chimera install`: installs Foundry, Echidna, Medusa, and Halmos
+- [ ] `chimera convert`: converts tx sequences from one tool to another
+- [ ] `chimera TOOL`: runs a property-based testing TOOL against the framework setup