xsdb% set CE01_ARMS [targets -filter {name=~"ARM*" && jtag_cable_name=~"Digilent JTAG-HS2 210249A14617"}]
     5  ARM Cortex-A9 MPCore #0 (Suspended)
     6  ARM Cortex-A9 MPCore #1 (Suspended)
     9  ARM Cortex-A9 MPCore #0 (Running)
    10  ARM Cortex-A9 MPCore #1 (Running)
xsdb% set ARMS_STRING "name=~\"ARM*\" && jtag_cable_name=~\"Digilent JTAG-HS2 210249A14617\""
name=~"ARM*" && jtag_cable_name=~"Digilent JTAG-HS2 210249A14617"
xsdb% set CE01_ARMS [targets -filter {$ARMS_STRING}]
expected boolean value but got "name=~"ARM*" && jtag_cable_name=~"Digilent JTAG-HS"