You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I wonder how this will handle EMPTY_WORD values. In general, I wonder if we should refactor this method to work differently so that it can be used to verify both membership and non-membership.
But I don't think these changes are needed for the current workstream - so, maybe for now we should create an issue to improve SmtProof::verify_membership()?
Originally posted by @bobbinth in #270 (comment)
The text was updated successfully, but these errors were encountered: