add regex-based HltDecReports ThOr filter, add cached lookup

  • Add a functor that checks whether any DecReport matching a regex has a positive decision
  • Add cached (thread-safe!) lookups in HltDecReports based on the assumption that for a given TCK the indices for the line names are invariant.

Extension of / Follow up to !2598 (merged)

Merge request reports

Loading