Fix range check for l1 fee `remainder` field
DreamWuGit opened this issue · 0 comments
DreamWuGit commented
What command(s) is the bug in?
No response
Describe the bug
the TxL1FeeGadget has field remainder, which is L1_FEE % TX_L1_FEE_PRECISION , need to add constraint: remainder < TX_L1_FEE_PRECISION.
Concrete steps to reproduce the bug. If it's able reproduce via testool, please share test_id from jenkins report
No response