diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-11-11 15:39:37 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-11 21:39:37 +0000 |
commit | 7867526e7070de52db36b1a2988d31ebadecf8b0 (patch) | |
tree | 82a5915695c85ca86c85d8c1d9f5f173e173317b /src/api/java | |
parent | 698ac133984800d12f072f6cdcab3196c3656e6e (diff) |
Generalize front-end checks to check for shadowed variables (#7634)
When using the API, we currently check for free variables in assertions and in terms passed to get-value.
We also require checking for variable shadowing.
This generalizes the utility method so that both free variables and shadowed variables are checked and reported to the user.
Diffstat (limited to 'src/api/java')
0 files changed, 0 insertions, 0 deletions