Update docs/cvl/foundry-integration.md

Certora · Nov 20, 2024 · 9e1462f · 9e1462f
1 parent 2c01c02
commit 9e1462f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/cvl/foundry-integration.md b/docs/cvl/foundry-integration.md
@@ -43,7 +43,7 @@ A minimal `.conf` file will look like this:
 `certoraRun path/to/conf/file.conf`
 - You will receive a link to a report containing the results of the run.
 
-For a full running example, please also see our [Example Repository](https://github.com/Certora/Examples/).
+For a full running example, please also see our [Foundry Integration Examples](https://github.com/Certora/Examples/tree/master/FoundryIntegration).
 
 # Key differences vs. Foundry fuzz testing