From e585c6eb64980d991e0cb9bb8af92ea471da2d23 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20Sp=C3=A4th?= Date: Fri, 6 Dec 2024 10:25:24 +0100 Subject: [PATCH] Improving Foundry Example Adding a recommendation to the foundry example to use the `--method` flag for a simpler call trace. --- FoundryIntegration/PercentageMath/README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/FoundryIntegration/PercentageMath/README.md b/FoundryIntegration/PercentageMath/README.md index 72eb340..dbf47db 100644 --- a/FoundryIntegration/PercentageMath/README.md +++ b/FoundryIntegration/PercentageMath/README.md @@ -11,4 +11,7 @@ To run this example, use: [View the report for this run.](https://prover.certora.com/output/15800/70e5d5141ce34e4eae0f9966b78b34d9?anonymousKey=40a3a0266ff277d769a873681b1fc7829b0b5c55) -*Note: Foundry Fuzz Testing Integration is currently in an early alpha phase.* \ No newline at end of file +*Note: If you get a violation on an individual fuzz test method, we recommend to run with the flag `--method `. This filters out a few entries in the call trace that are irrelevant to that particular method. Example: [This run](https://prover.certora.com/output/53900/0efb4c7272774df886203375b490300a?anonymousKey=5f95f5d1c2a0b8aac88cd6d5842e577707238747) was initiatied with `certoraRun PercentageMath.conf --method "test_percentMul_fuzz_wrong_assert(uint256,uint256)"`* + +*Note: Foundry Fuzz Testing Integration is currently in an early alpha phase.* +