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

Fix ff-eq #950

Open

jeffjma wants to merge 1 commit into SVF-tools:master from jeffjma:master

Contributor

jeffjma commented Dec 6, 2022

No description provided.


          Update github-action.yml

2e0aeb3

Collaborator

yuleisui commented Dec 6, 2022

Looks to me that the file write/read code has memory leak problem. The address sanitizer caught that

Contributor Author

jeffjma commented Dec 6, 2022

Looks to me that the file write/read code has memory leak problem. The address sanitizer caught that

Looks to me that the file write/read code has memory leak problem. The address sanitizer caught that

Having a look at it right now

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