echidna icon indicating copy to clipboard operation
echidna copied to clipboard
verified publisher icon crytic

Rename optimization mode

Open montyly opened this issue 2 years ago • 2 comments

I think we should rename the optimization mode. Optimisation is a broad term, that can confuse the users (e.g. optimization could be gas optimization, shrinking, ...)

Maybe max-value / min-value, or something similar?

montyly avatar Jan 13 '23 09:01 montyly

How about "minmax" mode

rappie avatar Mar 26 '23 16:03 rappie