OZ L03, Certora I02

[dianakocsis]

Related Issue

openzeppelin L-03

Description of changes

masking the upper bits

[github-actions]

Forge code coverage:

File	% Lines	% Statements	% Branches	% Funcs
src/ERC6909.sol	91.30% (21/23)	85.71% (24/28)	100.00% (4/4)	85.71% (6/7)
src/ERC6909Claims.sol	100.00% (6/6)	100.00% (8/8)	100.00% (4/4)	100.00% (1/1)
src/Extsload.sol	100.00% (0/0)	100.00% (0/0)	100.00% (0/0)	100.00% (3/3)
src/Exttload.sol	100.00% (0/0)	100.00% (0/0)	100.00% (0/0)	50.00% (1/2)
src/NoDelegateCall.sol	100.00% (3/3)	100.00% (5/5)	100.00% (2/2)	100.00% (3/3)
src/PoolManager.sol	100.00% (83/83)	98.25% (112/114)	94.12% (32/34)	100.00% (17/17)
src/ProtocolFees.sol	100.00% (20/20)	97.06% (33/34)	91.67% (11/12)	100.00% (6/6)
src/libraries/BitMath.sol	100.00% (47/47)	100.00% (57/57)	100.00% (36/36)	100.00% (2/2)
src/libraries/CurrencyDelta.sol	100.00% (4/4)	100.00% (6/6)	100.00% (0/0)	100.00% (3/3)
src/libraries/CustomRevert.sol	100.00% (0/0)	100.00% (0/0)	100.00% (0/0)	100.00% (6/6)
src/libraries/FullMath.sol	100.00% (28/28)	100.00% (32/32)	100.00% (8/8)	100.00% (2/2)
src/libraries/Hooks.sol	100.00% (77/77)	100.00% (139/139)	100.00% (56/56)	100.00% (14/14)
src/libraries/LPFeeLibrary.sol	100.00% (10/10)	100.00% (17/17)	100.00% (4/4)	100.00% (7/7)
src/libraries/LiquidityMath.sol	100.00% (2/2)	100.00% (1/1)	100.00% (1/1)	100.00% (1/1)
src/libraries/Lock.sol	100.00% (1/1)	100.00% (1/1)	100.00% (0/0)	100.00% (3/3)
src/libraries/NonZeroDeltaCount.sol	100.00% (3/3)	100.00% (3/3)	100.00% (0/0)	100.00% (3/3)
src/libraries/ParseBytes.sol	100.00% (3/3)	100.00% (3/3)	100.00% (0/0)	100.00% (3/3)
src/libraries/Pool.sol	99.35% (153/154)	99.42% (170/171)	96.51% (83/86)	100.00% (13/13)
src/libraries/Position.sol	100.00% (11/11)	100.00% (12/12)	100.00% (4/4)	100.00% (2/2)
src/libraries/ProtocolFeeLibrary.sol	100.00% (4/4)	100.00% (6/6)	100.00% (0/0)	100.00% (4/4)
src/libraries/Reserves.sol	100.00% (7/7)	100.00% (12/12)	100.00% (6/6)	100.00% (3/3)
src/libraries/SafeCast.sol	100.00% (10/10)	100.00% (26/26)	100.00% (10/10)	100.00% (6/6)
src/libraries/SqrtPriceMath.sol	100.00% (37/37)	100.00% (53/53)	82.35% (14/17)	100.00% (9/9)
src/libraries/StateLibrary.sol	100.00% (65/65)	100.00% (94/94)	100.00% (4/4)	100.00% (14/14)
src/libraries/SwapMath.sol	100.00% (22/22)	100.00% (24/24)	100.00% (6/6)	100.00% (2/2)
src/libraries/TickBitmap.sol	100.00% (17/17)	100.00% (23/23)	100.00% (3/3)	100.00% (4/4)
src/libraries/TickMath.sol	100.00% (95/95)	100.00% (140/140)	100.00% (43/43)	100.00% (4/4)
src/libraries/TransientStateLibrary.sol	87.50% (7/8)	84.62% (11/13)	100.00% (0/0)	75.00% (3/4)
src/libraries/UnsafeMath.sol	100.00% (1/1)	100.00% (1/1)	100.00% (0/0)	100.00% (1/1)
src/types/BalanceDelta.sol	100.00% (2/2)	100.00% (2/2)	100.00% (0/0)	100.00% (2/2)
src/types/BeforeSwapDelta.sol	100.00% (2/2)	100.00% (2/2)	100.00% (0/0)	100.00% (2/2)
src/types/Currency.sol	100.00% (12/12)	94.12% (16/17)	100.00% (8/8)	100.00% (6/6)
src/types/PoolId.sol	100.00% (1/1)	100.00% (1/1)	100.00% (0/0)	100.00% (1/1)
src/types/Slot0.sol	100.00% (8/8)	100.00% (8/8)	100.00% (0/0)	100.00% (8/8)
Total	84.10% (1481/1761)	83.82% (1995/2380)	61.29% (521/850)	77.78% (357/459)