Switch over to new coverage task (#2741)

This commit is contained in:
Joe Ranweiler
2023-02-15 12:41:19 -08:00
committed by GitHub
parent 2d59a2a5ca
commit 58f756de47
46 changed files with 386 additions and 6807 deletions

View File

@ -81,6 +81,9 @@ class TaskFeature(Enum):
report_list = "report_list"
minimized_stack_depth = "minimized_stack_depth"
coverage_filter = "coverage_filter"
function_allowlist = "function_allowlist"
module_allowlist = "module_allowlist"
source_allowlist = "source_allowlist"
target_must_use_input = "target_must_use_input"
target_assembly = "target_assembly"
target_class = "target_class"

View File

@ -163,6 +163,9 @@ class TaskDetails(BaseModel):
report_list: Optional[List[str]]
minimized_stack_depth: Optional[int]
coverage_filter: Optional[str]
function_allowlist: Optional[str]
module_allowlist: Optional[str]
source_allowlist: Optional[str]
target_assembly: Optional[str]
target_class: Optional[str]
target_method: Optional[str]
@ -385,6 +388,9 @@ class TaskUnitConfig(BaseModel):
report_list: Optional[List[str]]
minimized_stack_depth: Optional[int]
coverage_filter: Optional[str]
function_allowlist: Optional[str]
module_allowlist: Optional[str]
source_allowlist: Optional[str]
target_assembly: Optional[str]
target_class: Optional[str]
target_method: Optional[str]