In reply to kernalmode1:
I am trying to do something like this
constraint sum_c {
m.sum() with (int'(item.sum() with (int'(item)))) == 30;
}
but I get the following error message –
Unsupported operator ‘sum over upper dimension of multi-dimensional array’ in this constraint expression.
Looks like even the industry wide simualtors dont have this supported :(