Skip to content

Move make_with_expr to update_exprt

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

0.00% of diff hit (target 78.39%)

View this Pull Request on Codecov

0.00% of diff hit (target 78.39%)

Annotations

Check warning on line 71 in src/util/expr_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/expr_util.cpp#L71 

Added line #L71 was not covered by tests

Check warning on line 194 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L194 

Added line #L194 was not covered by tests

Check warning on line 197 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L196-L197 

Added lines #L196 - L197 were not covered by tests

Check warning on line 200 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L199-L200 

Added lines #L199 - L200 were not covered by tests

Check warning on line 204 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L204 

Added line #L204 was not covered by tests

Check warning on line 208 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L208 

Added line #L208 was not covered by tests

Check warning on line 210 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L210 

Added line #L210 was not covered by tests

Check warning on line 216 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L216 

Added line #L216 was not covered by tests

Check warning on line 219 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L218-L219 

Added lines #L218 - L219 were not covered by tests

Check warning on line 222 in src/util/std_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/std_expr.cpp#L222 

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