Skip to content

Commit 50d31c0

Browse files
docs: add link to multiabi page
1 parent 61248da commit 50d31c0

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

Diff for: program-analysis/echidna/Exercise-X.md

+2
Original file line numberDiff line numberDiff line change
@@ -406,6 +406,8 @@ Add a `Player(address player)` event to your contract and emit it in your proper
406406

407407
The player's address is `0x0000...3000`. Echidna is making calls from multiple accounts. It was able to increase the allowance of an address `0x000...1000` and make a call to `transferFrom(player, 0x000...1000, amount)`. This is expected!
408408

409+
[This happens because of the `multi-abi`](https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/using-multi-abi.md).
410+
409411
The `lockTokens` modifier does not prevent others from making transfers. Only the player is constrained.
410412

411413
```

0 commit comments

Comments
 (0)