search

JeffersonLab / japan

Just Another Parity ANalyzer
7 stars 13 forks source link

Bugfix: Don't apply disable tree so eagerly (MINOR) #228

Closed wdconinc closed 5 years ago

wdconinc commented 5 years ago

Require ^mul$ instead of merely mul as disable tree name.

These are parsed as regex, and mul also matches mulc which is not intended. Now --disable-hel-tree will only remove the mul tree, not the mulc tree.

Also implements --disable-tree for other tree names, e.g. --disable-tree _lr.\* --disable-tree .\*rst\$ Escape when using shell wildcards (probably not needed in config files). Composing so options can be repeated.

wdconinc commented 5 years ago

Shoulda probably done this before adding --disable-pair-tree etc...