mirror of
https://github.com/crytic/slither.git
synced 2026-10-12 10:59:58 +00:00
Dan GuidoandClaude Opus 4.5
4fd8ae2d8d
Apply automatic formatting fixes from ruff:
- Remove trailing whitespace
- Add missing newline at end of file
- Fix typos in docstrings ("Soldiity" -> "Solidity")
Files affected:
- 35 detector Python files
- 3 upgradeability check Python files
- 1 properties Python file
- 1 core declarations Python file
- 14 example files (sol, dot)
- 1 plugin example file
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Opus 4.5 <[email protected]>
30 lines
337 B
Solidity
30 lines
337 B
Solidity
contract BaseContract{
|
|
|
|
function f1() public{
|
|
|
|
}
|
|
}
|
|
|
|
contract Contract is BaseContract{
|
|
|
|
uint a;
|
|
|
|
function entry_point() public{
|
|
f1();
|
|
f2();
|
|
}
|
|
|
|
function f1() public{
|
|
super.f1();
|
|
}
|
|
|
|
function f2() public{
|
|
|
|
}
|
|
|
|
// not reached from entry_point
|
|
function f3() public{
|
|
|
|
}
|
|
}
|