CRV - item.index not working

[dave_59]

In reply to CRVAddict:

rand int unsigned fibo[8];
 
   constraint pop_1_c
   {
     foreach (fibo[i])
     {
       fibo[i] inside {[1:10]};
       i==5 -> fifo[i]==6;
     }
       fibo.sum()==20;
   }