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
Memory leaks found while running tests. #1512
Comments
@MartinNowack @251 I'm a bit confused as to why these tests pass on the ASan CI runs. |
To clarify: I haven't tried the CI scripts, but rather I see these errors being reported when I compile with |
Haven't checked the first ones but the last one disables asan explicitly for well-known reasons. |
@ccadar Everything works as expected ;) The reason why this still passes is that we explicitly ignore this issue: https://github.com/klee/klee/blob/master/utils/sanitizers/lsan.txt |
OK, I haven't realised we have those ignore files... |
Memory leaks were found by LeakSanitizer.
-fsanitize=leak
flag.test/Replay/klee-replay/KTestGen.c
test/Replay/klee-replay/KTestRandGen.c
test/regression/2020-02-24-count-paths-nodump.c
The text was updated successfully, but these errors were encountered: