-
Notifications
You must be signed in to change notification settings - Fork 0
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
feat: first iteration of the purity data model and purity analysis #76
Conversation
…e of differences in address
…ation function and changed the test to fit the new functions
🦙 MegaLinter status: ✅ SUCCESS
See detailed report in MegaLinter reports |
@lukarade I pushed a fix that should resolve some test failures. |
…ion' into 5-data-model-for-purity-information
This reverts commit 55ad8fd.
Codecov Report
@@ Coverage Diff @@
## main #76 +/- ##
==========================================
+ Coverage 87.66% 87.92% +0.26%
==========================================
Files 83 85 +2
Lines 3842 4107 +265
==========================================
+ Hits 3368 3611 +243
- Misses 474 496 +22
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here. |
…ion' into 5-data-model-for-purity-information
…r_purity_basics (a much more precise analysis is needed to cover those cases)
Like we discussed today, I want to close this PR, so it is easier to apply changes to the new branch without having to deal with merge conflicts afterwards. All requested changes will be applied on the new branch: https://github.com/Safe-DS/Library-Analyzer/tree/second-iteration-for-purity-analysis |
Do you want the PR to be merged or closed without being merged? |
Closes #5
Summary of Changes
Added the first iteration of the purity data model and the purity analysis. The analysis is capable of analyzing the purity of simple function definitions, as well as functions that interact with files.
Testing Instructions
run
test_infer_purity