Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bridge] implement special case for x != y in CountDistinctToMILPBridge #2416

Merged
merged 5 commits into from
Feb 5, 2024

Fix

52baa2c
Select commit
Loading
Failed to load commit list.
Refresh
Merged

[Bridge] implement special case for x != y in CountDistinctToMILPBridge #2416

Fix
52baa2c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Feb 2, 2024 in 0s

0.00% of diff hit (target 98.60%)

View this Pull Request on Codecov

0.00% of diff hit (target 98.60%)

Annotations

Check warning on line 256 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L255-L256 

Added lines #L255 - L256 were not covered by tests

Check warning on line 262 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L262 

Added line #L262 was not covered by tests

Check warning on line 264 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L264 

Added line #L264 was not covered by tests

Check warning on line 266 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L266 

Added line #L266 was not covered by tests

Check warning on line 269 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L269 

Added line #L269 was not covered by tests

Check warning on line 280 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L274-L280 

Added lines #L274 - L280 were not covered by tests

Check warning on line 285 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L285 

Added line #L285 was not covered by tests

Check warning on line 289 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L287-L289 

Added lines #L287 - L289 were not covered by tests

Check warning on line 293 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L292-L293 

Added lines #L292 - L293 were not covered by tests

Check warning on line 299 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L297-L299 

Added lines #L297 - L299 were not covered by tests

Check warning on line 303 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L301-L303 

Added lines #L301 - L303 were not covered by tests

Check warning on line 317 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L314-L317 

Added lines #L314 - L317 were not covered by tests

Check warning on line 321 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L319-L321 

Added lines #L319 - L321 were not covered by tests

Check warning on line 333 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L331-L333 

Added lines #L331 - L333 were not covered by tests

Check warning on line 342 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L342 

Added line #L342 was not covered by tests

Check warning on line 345 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L345 

Added line #L345 was not covered by tests

Check warning on line 351 in src/Bridges/Constraint/bridges/count_distinct.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/Bridges/Constraint/bridges/count_distinct.jl#L350-L351 

Added lines #L350 - L351 were not covered by tests
View more details on Codecov