Coverage cross ignore values inside an external array

[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};