Update human-summary printer

crytic / tealer

Static Analyzer for Teal

GNU Affero General Public License v3.0

62 stars 14 forks source link

Update human-summary printer #154

Closed S3v3ru5 closed 1 year ago

S3v3ru5 commented 1 year ago

human-summary reports the results of detectors. This printer used to only consider detectors selected by the user. Printer is updated to consider all detectors irrespective of user-selection.

S3v3ru5 commented 1 year ago

Merged into branch dev-sub-cfg PR #149