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

Improve protected variable detector #1497

Merged

montyly merged 2 commits into dev from dev-protected-var

Dec 7, 2022

Member

montyly commented Dec 6, 2022

montyly added 2 commits

December 6, 2022 13:04


          Improve protected variable detector

d22abb1

Have the detector look through all the state variables written


          Add missing json

3825b1a

montyly mentioned this pull request

all_internal_calls return different sequence, is it correct? #1486

Open

montyly merged commit 023f49d into dev

montyly deleted the dev-protected-var branch

December 7, 2022 12:35

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

Labels

None yet