From e83fd4679413ab66369c10bab8abc90a05a52f6c Mon Sep 17 00:00:00 2001 From: Naftali Goldstein Date: Mon, 19 Jan 2026 10:46:34 +0200 Subject: [PATCH 1/2] enhance the method flag example --- CLIFlags/method.conf | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/CLIFlags/method.conf b/CLIFlags/method.conf index 0cdad429..026910ae 100644 --- a/CLIFlags/method.conf +++ b/CLIFlags/method.conf @@ -4,7 +4,8 @@ ], "verify": "ERC20:../DEFI/ERC20/certora/specs/ERC20Full.spec", // Use only specific method for parametric rules and invariants. - "method": ["transfer(address,uint256)", "transferFrom(address,address,uint256)"], - + // Note that one an use either the full ABI signature or just the function name + "method": ["transfer(address,uint256)", "transferFrom"], + "solc_allow_path": "../" -} \ No newline at end of file +} From aa7a806aacb53f7cf1aada8eb483ce7d4a2b5d06 Mon Sep 17 00:00:00 2001 From: Naftali Goldstein <44599898+naftali-g@users.noreply.github.com> Date: Mon, 19 Jan 2026 16:12:15 +0200 Subject: [PATCH 2/2] typo Co-authored-by: yoav-el-certora <122207807+yoav-el-certora@users.noreply.github.com> --- CLIFlags/method.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CLIFlags/method.conf b/CLIFlags/method.conf index 026910ae..fcf9c641 100644 --- a/CLIFlags/method.conf +++ b/CLIFlags/method.conf @@ -4,7 +4,7 @@ ], "verify": "ERC20:../DEFI/ERC20/certora/specs/ERC20Full.spec", // Use only specific method for parametric rules and invariants. - // Note that one an use either the full ABI signature or just the function name + // Note that one can use either the full ABI signature or just the function name "method": ["transfer(address,uint256)", "transferFrom"], "solc_allow_path": "../"