Submitted by oyc_109
https://github.com/code-423n4/2022-07-swivel/blob/fd36ce96b46943026cb2dfcb76dfa3f884f51c18/VaultTracker/VaultTracker.sol#L86
https://github.com/code-423n4/2022-07-swivel/blob/fd36ce96b46943026cb2dfcb76dfa3f884f51c18/VaultTracker/VaultTracker.sol#L158
The comparison should be a >= vlt.notional instead of a > vlt.notional.
Otherwise dust amounts will always be left in vlt.notional when calling removeNotional() or transferNotionalFrom().
JTraversa (Swivel) confirmed, but disagreed with severity and commented:
bghughes (judge) commented:
robrobbins (Swivel) resolved:
