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

Jump to bottom

Only print func-decl names for indexed parameters #6663

Merged

NikolajBjorner merged 1 commit into Z3Prover:master from hgvk94:pp-dt-is

Apr 2, 2023

Contributor

hgvk94 commented Apr 1, 2023

https://gist.github.com/hgvk94/4832f73107eb739672669c7ac7b9dea8

ast_smt_pp and ast_smt2_pp print OP_DT_IS differently as demonstrated in the above gist. This is an attempt to fix this inconsistency.


          Only print func-decl names for indexed parameters

790b13d

NikolajBjorner merged commit 6324db2 into Z3Prover:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment