Description

In some scenarios, Medusa generates a failing sequence that contains a call, a block roll and a timestamp warp, where the call reverts, but where going forward in time is a pre-requisite for the sequence.

Ideally, the shrank sequence would ditch the call and only keep the roll and warp. In addition to keeping the sequences smaller, this makes it easier to convert the reproducer to Foundry, as we don't need to manually trim the reverting call function

Reproduction Steps

N/A (project is closed source)

Medusa Version

medusa version 1.4.1

Slither Version

0.11.3

Crytic-Compile Version

0.3.11

Operating System

Ubuntu 22.04