Skip to content

feat: add static and runtime check error consensus tests #6661

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.

Sign up for GitHub

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

Draft
francesco-stacks wants to merge 49 commits into
base: develop
Choose a base branch
from

Merge branch 'feat/aac-split-static-check-errors' into feat/aac-stati…

6743b1a
Select commit
Loading
Failed to load commit list.
Draft

feat: add static and runtime check error consensus tests #6661

Merge branch 'feat/aac-split-static-check-errors' into feat/aac-stati…
6743b1a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Dec 2, 2025 in 0s

79.72% (target 80.00%)

View this Pull Request on Codecov

79.72% (target 80.00%)

Details

Codecov Report

❌ Patch coverage is 87.34118% with 269 lines in your changes missing coverage. Please review.
✅ Project coverage is 79.72%. Comparing base (7ff75a2) to head (6743b1a).
⚠️ Report is 2 commits behind head on develop.

Files with missing lines Patch % Lines
clarity-types/src/errors/analysis.rs 67.45% 83 Missing ⚠️
...y/src/vm/analysis/type_checker/v2_1/natives/mod.rs 71.54% 35 Missing ⚠️
clarity/src/vm/analysis/type_checker/v2_1/mod.rs 75.96% 25 Missing ⚠️
.../src/vm/analysis/type_checker/v2_05/natives/mod.rs 67.64% 22 Missing ⚠️
clarity/src/vm/analysis/type_checker/v2_05/mod.rs 73.01% 17 Missing ⚠️
clarity-types/src/types/signatures.rs 81.92% 15 Missing ⚠️
clarity-types/src/types/mod.rs 35.29% 11 Missing ⚠️
...vm/analysis/type_checker/v2_1/natives/sequences.rs 72.97% 10 Missing ⚠️
...m/analysis/type_checker/v2_05/natives/sequences.rs 72.72% 9 Missing ⚠️
clarity/src/vm/analysis/analysis_db.rs 57.89% 8 Missing ⚠️
... and 14 more
Additional details and impacted files 
@@             Coverage Diff             @@
##           develop    #6661      +/-   ##
===========================================
+ Coverage    70.05%   79.72%   +9.66%     
===========================================
  Files          578      578              
  Lines       358373   359155     +782     
===========================================
+ Hits        251064   286339   +35275     
+ Misses      107309    72816   -34493
Files with missing lines Coverage Δ
clarity-types/src/errors/mod.rs 75.55% <100.00%> (+0.84%) ⬆️
clarity-types/src/tests/types/mod.rs 96.86% <ø> (+42.85%) ⬆️
clarity-types/src/tests/types/signatures.rs 99.12% <100.00%> (+72.32%) ⬆️
clarity/src/vm/analysis/read_only_checker/tests.rs 100.00% <100.00%> (+23.41%) ⬆️
clarity/src/vm/analysis/trait_checker/mod.rs 100.00% <100.00%> (ø)
clarity/src/vm/analysis/trait_checker/tests.rs 85.42% <ø> (ø)
...ity/src/vm/analysis/type_checker/v2_05/contexts.rs 98.24% <100.00%> (ø)
...c/vm/analysis/type_checker/v2_05/natives/assets.rs 98.04% <100.00%> (+0.18%) ⬆️
...src/vm/analysis/type_checker/v2_05/natives/maps.rs 95.57% <100.00%> (+0.24%) ⬆️
...src/vm/analysis/type_checker/v2_05/tests/assets.rs 99.49% <100.00%> (ø)
... and 43 more

... and 288 files with indirect coverage changes

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 7ff75a2...6743b1a. Read the comment docs.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
View more details on Codecov