This makes sure that Executors can send gelatoMaxGas and still get a Refund because EXEC_TX_OVERHEAD is taken into account. We had this at some point already but must have lost it at some point during refactoring.
I applied your suggestion vis-a-vi EXEC_TX_OVERHEAD in gas calcs in a squashed commit and will make a new PR also with other Post-Audit changes tomorrow morning.
GelatoCore:
Change 1 Line 307:: - EXEC_TX_OVERHEAD
This makes sure that Executors can send gelatoMaxGas and still get a Refund because EXEC_TX_OVERHEAD is taken into account. We had this at some point already but must have lost it at some point during refactoring.
Change 2: Line 414:
Let's account for the constant EXEC_TX_OVERHEAD in our gasUsed estimation. Makes code cleaner e.g. this is now cleaner: