WIP: Add initial implementation of memory leak check #175
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
In this commit an initial implementation of the memory leak check functionality is added.
A new constraint to do the check
check_memory_leak
is now available Also replace all the memory management function with cgreen specific so that we can have some more control over the memoryThis patch does not widely add the memory check to all tests.
If we want this to happen we need to call the new assertion directly.
TODO:
Add the assertion to the end of the test suite.
Ensure that the memory cache is cleaned per test
Works for C only at this point
This PR serves as an initial proof of concept of the memory leak implementation and it give us the basis to start adding this memory check to all tests as soon as we finish the todo's
Fixes #152