Skip to content

fix length check in `BddVariableSet::new`

Codecov / codecov/patch failed Dec 22, 2024 in 0s

75.00% of diff hit (target 90.91%)

View this Pull Request on Codecov

75.00% of diff hit (target 90.91%)

Annotations

Check warning on line 31 in src/_impl_bdd_variable_set.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/_impl_bdd_variable_set.rs#L31 

Added line #L31 was not covered by tests

Check warning on line 40 in src/_impl_bdd_variable_set.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/_impl_bdd_variable_set.rs#L40 

Added line #L40 was not covered by tests

Check warning on line 55 in src/_impl_bdd_variable_set.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/_impl_bdd_variable_set.rs#L55 

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