Skip to content

Commit

Permalink
update expected
Browse files Browse the repository at this point in the history
  • Loading branch information
daejunpark committed Jul 22, 2023
1 parent 4f41726 commit 0c5d47b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tests/expected/erc20.json
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand All @@ -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,
Expand Down

0 comments on commit 0c5d47b

Please sign in to comment.