Closed yuxincs closed 1 month ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 87.66%. Comparing base (
a7a5ca9
) to head (0c0c648
). Report is 1 commits behind head on main.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
[!NOTE]
✅ NilAway errors reported on standard libraries are identical.3263 errors on base branch (main, a7a5ca9) 3263 errors on test branch (c759f98)
This PR does a simple rename for the test package since it now hosts test code for more than
testing
, it contains test code for all modeled (trusted) functions.