Skip to content

Move is_{true,false,zero,one} from exprt to constant_exprt #8664

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

Closed
wants to merge 1 commit into from

Move is_{true,false,zero,one} from `exprt` to `constant_exprt`

1a6ab22
Select commit
Loading
Failed to load commit list.
Closed

Move is_{true,false,zero,one} from exprt to constant_exprt #8664

Move is_{true,false,zero,one} from `exprt` to `constant_exprt`
1a6ab22
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Jun 25, 2025 in 1s

79.36% of diff hit (target 80.39%)

View this Pull Request on Codecov

79.36% of diff hit (target 80.39%)

Annotations

Check warning on line 97 in jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp#L97 

Added line #L97 was not covered by tests

Check warning on line 533 in src/analyses/custom_bitvector_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/custom_bitvector_analysis.cpp#L533 

Added line #L533 was not covered by tests

Check warning on line 819 in src/analyses/custom_bitvector_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/custom_bitvector_analysis.cpp#L817-L819 

Added lines #L817 - L819 were not covered by tests

Check warning on line 822 in src/analyses/custom_bitvector_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/custom_bitvector_analysis.cpp#L822 

Added line #L822 was not covered by tests

Check warning on line 843 in src/analyses/custom_bitvector_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/custom_bitvector_analysis.cpp#L841-L843 

Added lines #L841 - L843 were not covered by tests

Check warning on line 846 in src/analyses/custom_bitvector_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/custom_bitvector_analysis.cpp#L846 

Added line #L846 was not covered by tests

Check warning on line 127 in src/analyses/goto_rw.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/goto_rw.cpp#L126-L127 

Added lines #L126 - L127 were not covered by tests

Check warning on line 129 in src/analyses/goto_rw.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/goto_rw.cpp#L129 

Added line #L129 was not covered by tests

Check warning on line 738 in src/analyses/goto_rw.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/goto_rw.cpp#L738 

Added line #L738 was not covered by tests

Check warning on line 753 in src/analyses/goto_rw.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/goto_rw.cpp#L752-L753 

Added lines #L752 - L753 were not covered by tests

Check warning on line 755 in src/analyses/goto_rw.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/goto_rw.cpp#L755 

Added line #L755 was not covered by tests

Check warning on line 47 in src/analyses/guard_bdd.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/guard_bdd.cpp#L47 

Added line #L47 was not covered by tests

Check warning on line 52 in src/analyses/interval_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/interval_analysis.cpp#L49-L52 

Added lines #L49 - L52 were not covered by tests

Check warning on line 75 in src/analyses/interval_analysis.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/interval_analysis.cpp#L75 

Added line #L75 was not covered by tests

Check warning on line 397 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L397 

Added line #L397 was not covered by tests

Check warning on line 399 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L399 

Added line #L399 was not covered by tests

Check warning on line 406 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L406 

Added line #L406 was not covered by tests

Check warning on line 602 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L602 

Added line #L602 was not covered by tests

Check warning on line 707 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L707 

Added line #L707 was not covered by tests

Check warning on line 709 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L709 

Added line #L709 was not covered by tests

Check warning on line 712 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L711-L712 

Added lines #L711 - L712 were not covered by tests

Check warning on line 717 in src/analyses/invariant_set.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/invariant_set.cpp#L716-L717 

Added lines #L716 - L717 were not covered by tests

Check warning on line 3672 in src/ansi-c/c_typecheck_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/c_typecheck_expr.cpp#L3672 

Added line #L3672 was not covered by tests

Check warning on line 682 in src/ansi-c/c_typecheck_initializer.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/c_typecheck_initializer.cpp#L682 

Added line #L682 was not covered by tests

Check warning on line 1284 in src/ansi-c/expr2c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/expr2c.cpp#L1283-L1284 

Added lines #L1283 - L1284 were not covered by tests
View more details on Codecov