You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
I would like to run the hybrid fuzzer for a fixed amount of time (for instance, one hour). It would be great if this was possible (just like for Echidna). Unfortunately, the --test-limit option results in different running times depending on the tested contracts and how much time is spent on executing inputs and solving constraints.
Describe the bug
I would like to run the hybrid fuzzer for a fixed amount of time (for instance, one hour). It would be great if this was possible (just like for Echidna). Unfortunately, the
--test-limitoption results in different running times depending on the tested contracts and how much time is spent on executing inputs and solving constraints.Additional context: