Skip to content
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.

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

capture global scope as part of executing a statement #41

Open
pdawyndt opened this issue Aug 1, 2019 · 1 comment
Open

capture global scope as part of executing a statement #41

pdawyndt opened this issue Aug 1, 2019 · 1 comment
Labels
enhancement New feature or request migrated

Comments

@pdawyndt
Copy link
Contributor

pdawyndt commented Aug 1, 2019

This would allow to monitor changes in the global scope. Whether or not changes in the global scope should be penalized can be made dependent on some configurations:

  • disallow changes in the global scope (scope before and after are known)
  • mandatory changes in the global scope (evaluation of the scope after execution)

Original issue by @pdawyndt on Mon May 01 2017 at 15:08.

@pdawyndt
Copy link
Contributor Author

pdawyndt commented Aug 1, 2019

  • capture global scope after evaluating statements in sandbox
  • check if there are changes in the global scope (dependent on configuration)
  • compare state of global scope with given state

Original comment by @pdawyndt on Mon May 01 2017 at 15:14.

@dodona-server dodona-server added enhancement New feature or request migrated labels Aug 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request migrated
Projects
None yet
Development

No branches or pull requests

2 participants