Skip to content

Re-enable array theory as default for array size above threshold

Codecov / codecov/patch failed Sep 24, 2024 in 0s

46.15% of diff hit (target 78.31%)

View this Pull Request on Codecov

46.15% of diff hit (target 78.31%)

Annotations

Check warning on line 207 in src/solvers/flattening/arrays.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/arrays.cpp#L205-L207 

Added lines #L205 - L207 were not covered by tests

Check warning on line 209 in src/solvers/flattening/arrays.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/arrays.cpp#L209 

Added line #L209 was not covered by tests

Check warning on line 213 in src/solvers/flattening/arrays.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/arrays.cpp#L212-L213 

Added lines #L212 - L213 were not covered by tests

Check warning on line 215 in src/solvers/flattening/arrays.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/arrays.cpp#L215 

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