Extend the private/public fields encoding to support a mix of private and public fields #651

utaal started this conversation in General

utaal
Jun 28, 2023
Maintainer

@utaal: encode the private field as a dummy field in the Z3 datatype, when outside visibility.

Replies: 0 comments

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