-
Notifications
You must be signed in to change notification settings - Fork 141
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
when running pitest.org tests on jazz code it gives #754
Comments
@nagkumar Could you test this with 0.17.1? If this still reproduces, could you share a reproducing example? |
I still see this error even with the latest 0.17.1
I am not sure how to isolate this.. except that it is coming in from pitest.org mutation testing time. |
As far as I understand, pitest modifies the bytecode under test at runtime - just like Jazzer. It is very unlikely that this would "just work" and likely requires a pretty good understanding of both Jazzer and pitest to resolve, if at all possible. While combining bytecode mutation testing and fuzzing sounds very interesting, it's not something we will likely get to look into in the foreseeable future. If anyone wants to dig deeper on this and understands the root cause of the incompatibility better, please post here. |
@nagkumar - same as I wrote on your other issue, ping me and we can discuss other potential options or workarounds. |
The text was updated successfully, but these errors were encountered: