search

statycc / pymwp

A static analyzer of variable value growth for C programs.
https://statycc.github.io/pymwp/
GNU General Public License v3.0
4 stars 1 forks source link

Loops #141

Closed nkrusch closed 3 days ago

nkrusch commented 3 days ago

Add loop analysis mode + tests

codecov[bot] commented 3 days ago

Codecov Report

Attention: Patch coverage is 86.71454% with 74 lines in your changes missing coverage. Please review.

Project coverage is 87.80%. Comparing base (9d6f829) to head (d5256f7). Report is 8 commits behind head on main.

Files with missing lines Patch % Lines
pymwp/syntax.py 71.07% 35 Missing :warning:
pymwp/result.py 88.42% 28 Missing :warning:
pymwp/__main__.py 0.00% 6 Missing :warning:
pymwp/analysis.py 98.47% 2 Missing :warning:
pymwp/bound.py 33.33% 2 Missing :warning:
pymwp/choice.py 95.65% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #141 +/- ## ========================================== + Coverage 86.41% 87.80% +1.38% ========================================== Files 17 17 Lines 1899 2279 +380 ========================================== + Hits 1641 2001 +360 - Misses 258 278 +20 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.