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
Bug in pushdown String #236
Comments
My advise: avoid playing with indices. They tend to be buggy. Just use string functions. Write your own. |
I have a general idea of how this happens since it happened before, but I can't find a case where this happened. @yossigil do you have an example of code where this happened? It doesn't happen to me when I spartanize the plugin. |
Seems to be done. If the problem persists, we will start an new issue and reference this one. |
This is a blocker since it holds the spartanization process. You know the drill:
This is the dump I get, many times, the bad index is always -3 for some reason, but could be a coincidence:
The text was updated successfully, but these errors were encountered: