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
Currently optimization tests only support optimize_* functions with no inputs and a int output, as visible here. It would be useful to have optimization tests that support inputs and uint outputs as well.
Example of optimization test that currently won't be run:
function optimize_rateDifference() publicreturns (uint256) {
if (newRate < startingRate) {
return startingRate - newRate;
}
return0;
}
The text was updated successfully, but these errors were encountered:
Currently optimization tests only support
optimize_*
functions with no inputs and aint
output, as visible here. It would be useful to have optimization tests that support inputs anduint
outputs as well.Example of optimization test that currently won't be run:
The text was updated successfully, but these errors were encountered: