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

Ensure lazy byte-code transformation always works correctly in the verification phase under model-checking mode #323

Open

eupp opened this issue May 8, 2024 · 1 comment

Assignees

Labels

bug

Collaborator

eupp commented May 8, 2024

No description provided.

eupp self-assigned this

eupp mentioned this issue

Fix Java 11 performance bug #316

Merged

ndkoval added the bug label

Collaborator Author

eupp commented Aug 1, 2024

Quote from @ndkoval about this issue from the discussion of #316 :

By the way, I also think we currently might have a bug with the model-checking mode, as the lazy transformation might not work in the verification phase, as we do not analyze anything in this phase, and, therefore, we do not ensure that the code dependencies are transformed.

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