[Bug]: Calll sequence showing incorrect time and block #753
Description
Description
I have an invariant where for it to trigger some time must pass, which i can trigger successfully. However the Call sequence is showing the same block and time for all the calls which makes the case reproduction impossible. I tried to change blockNumberDelayMax and blockTimestampDelayMax in the config and even added a handler function advanceTime which is being called however the sequence still displays the same block and time.
Reproduction Steps
logs (notice block and time is the same for all the calls):
Test for method "CryticTester.invariant_collateral_solvency()" failed after the following call sequence:
[Call Sequence]
1) CryticTester.switchActorAddress(uint256)(2765433654790073691859023733061913101960062571972211643118374) (block=62367, time=1266559, gas=12500000, gasprice=1, value=0, sender=0x20000)
2) CryticTester.lender_adjust_clamped(int256,int256)(2360933241434823887434, 1165698138476521994865) (block=62367, time=1266559, gas=12500000, gasprice=1, value=0, sender=0x10000)
3) CryticTester.lender_setRedemptionStatus_clamped(bool)(true) (block=62367, time=1266559, gas=12500000, gasprice=1, value=0, sender=0x10000)
4) CryticTester.switchActorAddress(uint256)(5656265869342749119579500163278759177527805298615374307927515554965) (block=62367, time=1266559, gas=12500000, gasprice=1, value=0, sender=0x10000)
5) CryticTester.lender_adjust_clamped(int256,int256,bool)(71076888526257156644, -9604810028681679145925489263768610865060823609771092943625788237758725246, true) (block=62367, time=1266559, gas=12500000, gasprice=1, value=0, sender=0x30000)
6) CryticTester.lender_redeem_clamped(uint256)(5875900649575493061032966673989462729581366617857102493862969978312582975) (block=62367, time=1266559, gas=12500000, gasprice=1, value=0, sender=0x20000)
[Execution Trace]Medusa Version
1.4.1
Slither Version
No response
Crytic-Compile Version
No response
Operating System
No response