-
Notifications
You must be signed in to change notification settings - Fork 13
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
Sanitizers #102
base: main
Are you sure you want to change the base?
Sanitizers #102
Conversation
eb7c5a8
to
9fcc237
Compare
c4693b7
to
34b78be
Compare
4890784
to
cc706bc
Compare
cc706bc
to
7932233
Compare
Could you add a commit adding a memory issue to check that the report works as intended? We'll drop the commit after we see the report. |
844c6cf
to
f521446
Compare
Was it done (and the commit has already been removed) ? If so, I think we can merge this PR. |
It seems that we have an issue with the logs file. If you check the tests execution, you will see several leaks. But the log file is not created. Let me check that first. |
e405ba1
to
e042214
Compare
ef74dfe
to
b3e4ae8
Compare
No description provided.