update documentation

README.md

@@ -8,6 +8,7 @@ Development tool to automate certain parts of the dev cycle.
 
 Automatisations:
 - Propose to update dependencies when starting working on the project
+- Launch BlackBox proofs when `src`, `tests`, `fixtures` or `properties` folders are modified
 - Launch PHPUnit tests when `src`, `tests`, `fixtures` or `properties` folders are modified
 - Launch Psalm checks (if a `psalm.xml` exists) when `src` or `tests` folders are modified
 - Verify the code style (if a `.php_cs.dist` or `.php-cs-fixer.dist.php` file exists) when `src`, `tests`, `fixtures` or `properties` folders are modified