CHiLL Unroll error

[axelyamel]

When the user defines a performance_param and use it with the unroll statement on the CHiLL module, make sure there is no space between the coma and variable:

Example:

def performance_param {
param UF0 [] = [1,2];
}

/*@ begin CHiLL (

  unroll(0,"k", UF0)     <- if a space is added before UF0 cause the following error:

ERROR: failed during evaluation of coordinate: [0, 0, 0]={'UF1': 1, 'UF2': 1, 'UF': 1}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [1, 0, 0]={'UF1': 1, 'UF2': 1, 'UF': 2}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [0, 1, 0]={'UF1': 2, 'UF2': 1, 'UF': 1}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [1, 1, 0]={'UF1': 2, 'UF2': 1, 'UF': 2}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [0, 0, 1]={'UF1': 1, 'UF2': 2, 'UF': 1}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [1, 0, 1]={'UF1': 1, 'UF2': 2, 'UF': 2}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [0, 1, 1]={'UF1': 2, 'UF2': 2, 'UF': 1}
IndexError list index out of range
ERROR: failed during evaluation of coordinate: [1, 1, 1]={'UF1': 2, 'UF2': 2, 'UF': 2}
IndexError list index out of range
ERROR: the search cannot find a valid set of performance parameters. the search time limit might be too short, or the performance parameter constraints might prune out the entire search space.

Temporary fix:

Don't add space: unroll(0,"k",UF0)