Skip to content

fix LEM's Func::num_constraints and syntax test unit_parse_num

Codecov / codecov/patch failed Oct 21, 2023 in 1s

0.00% of diff hit (target 53.64%)

View this Pull Request on Codecov

0.00% of diff hit (target 53.64%)

Annotations

Check warning on line 5786 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5785-L5786 

Added lines #L5785 - L5786 were not covered by tests

Check warning on line 5789 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5788-L5789 

Added lines #L5788 - L5789 were not covered by tests

Check warning on line 5801 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5800-L5801 

Added lines #L5800 - L5801 were not covered by tests

Check warning on line 5816 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5807-L5816 

Added lines #L5807 - L5816 were not covered by tests

Check warning on line 5830 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5830 

Added line #L5830 was not covered by tests

Check warning on line 5832 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5832 

Added line #L5832 was not covered by tests

Check warning on line 5837 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5836-L5837 

Added lines #L5836 - L5837 were not covered by tests

Check warning on line 5846 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5840-L5846 

Added lines #L5840 - L5846 were not covered by tests

Check warning on line 5935 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L5935 

Added line #L5935 was not covered by tests

Check warning on line 6020 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L6020 

Added line #L6020 was not covered by tests

Check warning on line 6108 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L6108 

Added line #L6108 was not covered by tests

Check warning on line 6195 in src/circuit/circuit_frame.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/circuit_frame.rs#L6195 

Added line #L6195 was not covered by tests

Check warning on line 695 in src/circuit/gadgets/case.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/circuit/gadgets/case.rs#L695 

Added line #L695 was not covered by tests

Check warning on line 25 in src/cli/backend.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/cli/backend.rs#L25 

Added line #L25 was not covered by tests

Check warning on line 1489 in src/lem/circuit.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/lem/circuit.rs#L1488-L1489 

Added lines #L1488 - L1489 were not covered by tests

Check warning on line 1494 in src/lem/circuit.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/lem/circuit.rs#L1493-L1494 

Added lines #L1493 - L1494 were not covered by tests

Check warning on line 1500 in src/lem/circuit.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/lem/circuit.rs#L1500 

Added line #L1500 was not covered by tests

Check warning on line 870 in src/parser/syntax.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/parser/syntax.rs#L870 

Added line #L870 was not covered by tests

Check warning on line 878 in src/parser/syntax.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/parser/syntax.rs#L878 

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