Specific compiler pragma 0.8.6
used in Balancer
contract to avoid accidental bug inclusion through outdated compiler versions.
withdraw
is protected by checking that the balance amount doesn't exceed the sender balance in the contract
There are a good amount of unit tests that verify correct behaviour of the smart contract code.
All modifiers in Balancer
contract only validate data with require
statements.