Improve NTX4 and NTX5 - #48

Open

benber86 wants to merge 7 commits into

AlbertoCentonze:mainfrom

benber86:fix/ntx4

Commits on Aug 20, 2025

Avoid raising NTX4 (implicit view) for functions that do extcalls
benber86
committed
e6690af
Better handle mutability issues when detecting pure/view
benber86
committed
f083dac
Improve pure detection and fix issue with overly broad definition of reads
benber86
committed
90c36f1
Update tests
benber86
committed
1de67bb
Formatting
benber86
committed
1c91a8d
Formatting
benber86
committed
205e3a5
Fix failing test
benber86
committed
95cd0d0