From 0c5d47b9f1d217278de076797b9c134d90973e14 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Fri, 21 Jul 2023 21:09:10 -0700 Subject: [PATCH] update expected --- tests/expected/erc20.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/expected/erc20.json b/tests/expected/erc20.json index a0da0f25..4136cf2f 100644 --- a/tests/expected/erc20.json +++ b/tests/expected/erc20.json @@ -29,7 +29,7 @@ ], "test/OpenZeppelinERC20.t.sol:OpenZeppelinERC20Test": [ { - "name": "checkNoBackdoor(bytes4)", + "name": "checkNoBackdoor(bytes4,address,address)", "exitcode": 0, "num_models": 0, "num_paths": null, @@ -55,7 +55,7 @@ ], "test/SolmateERC20.t.sol:SolmateERC20Test": [ { - "name": "checkNoBackdoor(bytes4)", + "name": "checkNoBackdoor(bytes4,address,address)", "exitcode": 0, "num_models": 0, "num_paths": null,