← Python API
vraven.decompiler · class

CaptureCoverage

CaptureCoverage(executed_nodes: 'int' = 0, recognised_nodes: 'int' = 0, differentiable_nodes: 'int' = 0, gradient_nodes: 'int' = 0, intervention_candidates: 'int' = 0, intervention_nodes: 'int' = 0, captured_parameter_count: 'int' = 0, total_parameter_count: 'int' = 0, unresolved_nodes: 'int' = 0, numeric_equivalence_max_abs: 'float | None' = None, numeric_equivalence_max_rel: 'float | None' = None, numeric_equivalence_passed: 'bool | None' = None, runtime_weighted_recognition: 'float | None' = None, flop_weighted_recognition: 'float | None' = None, memory_weighted_recognition: 'float | None' = None) -> None

Separate coverage measurements rather than a single opaque confidence score.

Usage

from vraven.decompiler import CaptureCoverage

value = CaptureCoverage(...)

Methods

from_mapping(payload: 'Mapping[str, Any] | None') -> "'CaptureCoverage'"

Public method.

Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.