Skip to content

the egraph matching machine lives again

Codecov / codecov/patch failed Jan 29, 2024 in 1s

0.31% of diff hit (target 95.00%)

View this Pull Request on Codecov

0.31% of diff hit (target 95.00%)

Annotations

Check warning on line 16 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L13-L16 

Added lines #L13 - L16 were not covered by tests

Check warning on line 19 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L18-L19 

Added lines #L18 - L19 were not covered by tests

Check warning on line 29 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L27-L29 

Added lines #L27 - L29 were not covered by tests

Check warning on line 34 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L31-L34 

Added lines #L31 - L34 were not covered by tests

Check warning on line 37 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L36-L37 

Added lines #L36 - L37 were not covered by tests

Check warning on line 40 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L39-L40 

Added lines #L39 - L40 were not covered by tests

Check warning on line 42 in src/syntax/egraphs/algebraic.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/algebraic.jl#L42 

Added line #L42 was not covered by tests

Check warning on line 26 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L26 

Added line #L26 was not covered by tests

Check warning on line 45 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L45 

Added line #L45 was not covered by tests

Check warning on line 59 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L58-L59 

Added lines #L58 - L59 were not covered by tests

Check warning on line 64 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L63-L64 

Added lines #L63 - L64 were not covered by tests

Check warning on line 80 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L79-L80 

Added lines #L79 - L80 were not covered by tests

Check warning on line 84 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L84 

Added line #L84 was not covered by tests

Check warning on line 92 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L89-L92 

Added lines #L89 - L92 were not covered by tests

Check warning on line 98 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L97-L98 

Added lines #L97 - L98 were not covered by tests

Check warning on line 129 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L127-L129 

Added lines #L127 - L129 were not covered by tests

Check warning on line 131 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L131 

Added line #L131 was not covered by tests

Check warning on line 133 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L133 

Added line #L133 was not covered by tests

Check warning on line 149 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L135-L149 

Added lines #L135 - L149 were not covered by tests

Check warning on line 152 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L152 

Added line #L152 was not covered by tests

Check warning on line 154 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L154 

Added line #L154 was not covered by tests

Check warning on line 156 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L156 

Added line #L156 was not covered by tests

Check warning on line 161 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L158-L161 

Added lines #L158 - L161 were not covered by tests

Check warning on line 168 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L164-L168 

Added lines #L164 - L168 were not covered by tests

Check warning on line 175 in src/syntax/egraphs/east.jl

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/syntax/egraphs/east.jl#L170-L175 

Added lines #L170 - L175 were not covered by tests
View more details on Codecov