Skip to content

Fix typing of array expressions within an C ternary ? : operator #9012

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

Open
rod-chapman wants to merge 1 commit into
base: develop
Choose a base branch
from
+95 −0

SMT2 back-end: keep use_array_theory consistent with convert_expr for…

44d1337
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Fix typing of array expressions within an C ternary ? : operator #9012

SMT2 back-end: keep use_array_theory consistent with convert_expr for…
44d1337
Select commit
Loading
Failed to load commit list.
profile-pr
succeeded May 23, 2026 in 2m 55s