Coverage cross ignore values inside an external array

In reply to dave_59:

In reply to Freeman0916:
Try

ignore_bins ignore_read_only_clients = client_dir_cr with (client_cp inside {read_only_clients} ) &&  binsof(dir_cp) intersect {WRITE};

Hey Dave, I tried this and got a compilation error “Illegal operand for constant expression” from read_only_clients.