DSE-SMT: Only pass ASCII names to Z3. (!27) · Merge requests · af3 / af3-backup · GitLab

This is an archived project. Repository and other project resources are read-only.

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Alexander Diewald requested to merge 3364_z3_identifiers into master Jun 06, 2018

Additional chars are added to the Z3 expressions if non-ASCII chars are present. Thus, additional logic is required to identify matching expressions.
To avoid such error-prone handling, only calculate ASCII-compliant identifiers (which are passed to Z3) such that the identifiers returned from Z3 are always equivalent to their inputs counterparts.

Issue-Ref: 3364 Issue-Url: https://af3-developer.fortiss.org/issues/3364 Signed-off-by: Alexander Diewald diewald@fortiss.org