Selection syntax doesn't understand escaping #5414
Description
Version
0.58
On which OS did this happen?
Linux
Reproduction Steps
design -reset
read_verilog <<EOT
module top(input A, input B, output Y);
assign Y = A ^ B;
\$thing foo();
endmodule
EOT
dump
# passes
select -assert-count 1 t:$xor
# passes
select -assert-count 1 t:\$thing
# fails
select -assert-count 0 t:$thing
# fails
select -assert-count 0 t:\$xor
Expected Behavior
A private name $xor can be distinguished from a public name with an escaped leading dollar symbol \$xor and the assertions pass. Similarly, t:$thing shouldn't match a cell type which is a public name with an escaped leading dollar symbol.
Actual Behavior
See comments