As pointed out in the last Audit Competition (Hats Finance) it's not recommended to have strict zero balance checks after a swap since dust is very common in DeFi protocols
After selling the tokens in updateTokens (removing one portfolio tokens) we still have the zero check..
if (_getTokenBalanceOf(_portfolioToken, _vault) != 0)
revert ErrorLibrary.NonPortfolioTokenBalanceIsNotZero();
As pointed out in the last Audit Competition (Hats Finance) it's not recommended to have strict zero balance checks after a swap since dust is very common in DeFi protocols
After selling the tokens in
updateTokens
(removing one portfolio tokens) we still have the zero check..