kdrag.reflect.coverage_check

kdrag.reflect.coverage_check(stmt: stmt, everything: BoolRef, path_cond: list[BoolRef], locals: dict[str, object])

Parameters:

• stmt (stmt)

• everything (BoolRef)

• path_cond (list[BoolRef])

• locals (dict[str, object])