← Python API
vraven.decompiler · class

FormalVerificationPoint

FormalVerificationPoint(epsilon: 'float', status: 'VerificationStatus', certified: 'bool', clean_prediction: 'int', target: 'int', clean_margin: 'float', certified_margin_lower_bound: 'float | None', worst_competitor: 'int | None', competitor_margin_lower_bounds: 'dict[str, float]' = <factory>, output_lower_bounds: 'list[float]' = <factory>, output_upper_bounds: 'list[float]' = <factory>, layer_intervals: 'list[LayerIntervalRecord]' = <factory>, unsupported_reason: 'str | None' = None) -> None

FormalVerificationPoint(epsilon: 'float', status: 'VerificationStatus', certified: 'bool', clean_prediction: 'int', target: 'int', clean_margin: 'float', certified_margin_lower_bound: 'float | None', worst_competitor: 'int | None', competitor_margin_lower_bounds: 'dict[str, float]' = <factory>, output_lower_bounds: 'list[float]' = <factory>, output_upper_bounds: 'list[float]' = <factory>, layer_intervals: 'list[LayerIntervalRecord]' = <factory>, unsupported_reason: 'str | None' = None)

Usage

from vraven.decompiler import FormalVerificationPoint

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