Skip to content

dbc: convert method information for DBC proofs from const to fn

Codecov / codecov/patch failed Oct 13, 2024 in 0s

0.0% of diff hit (target 60.0%)

View this Pull Request on Codecov

0.0% of diff hit (target 60.0%)

Annotations

Check warning on line 89 in dbc/src/anchor.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

dbc/src/anchor.rs#L89 

Added line #L89 was not covered by tests

Check warning on line 101 in dbc/src/anchor.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

dbc/src/anchor.rs#L101 

Added line #L101 was not covered by tests

Check warning on line 130 in dbc/src/anchor.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

dbc/src/anchor.rs#L130 

Added line #L130 was not covered by tests

Check warning on line 187 in dbc/src/anchor.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

dbc/src/anchor.rs#L187 

Added line #L187 was not covered by tests

Check warning on line 76 in dbc/src/opret/mod.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

dbc/src/opret/mod.rs#L76 

Added line #L76 was not covered by tests

Check warning on line 381 in dbc/src/tapret/mod.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

dbc/src/tapret/mod.rs#L381 

Added line #L381 was not covered by tests
View more details on Codecov