Updates detect_missing_tx_field util function to accept another parameter satisfies_report_condition which is used to decide whether to report a execution path or not. group-size-check detector uses satisfies_report_condition that returns True if absolute index is used in path and returns False otherwise.
Fix issue #160
Updates
detect_missing_tx_fieldutil function to accept another parametersatisfies_report_conditionwhich is used to decide whether to report a execution path or not.group-size-checkdetector usessatisfies_report_conditionthat returns True if absolute index is used in path and returns False otherwise.