Smart Value Section for Integers
Too many options for Integers makes the graphs MUCH too large, and takes up too much memory and the search space becomes very large with no additional information.
Selecting specific values that integers can take, will reduce the search space, reduce memory, and can speed up computation.
We need to be intelligent in which values we pick.
Here are some examples:
if(val > 100) {
// do something
}
if(2 * val > 100) {
// do something
}
if(val / 10 > 100) {
// do something
}
if(val - 100 > 100) {
// do something
}
Edited by Jon Shahen