Skip to content

WIP: Typechecker performance - #2832

Open
sungshik wants to merge 7 commits into
mainfrom
typechecker-performance-wip
Open

WIP: Typechecker performance#2832
sungshik wants to merge 7 commits into
mainfrom
typechecker-performance-wip

Conversation

@sungshik

Copy link
Copy Markdown
Contributor

No description provided.

@codecov

codecov Bot commented Jul 31, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 18.86792% with 43 lines in your changes missing coverage. Please review.
✅ Project coverage is 46%. Comparing base (54de850) to head (cfc9c9c).
⚠️ Report is 24363 commits behind head on main.

Files with missing lines Patch % Lines
src/org/rascalmpl/interpreter/utils/Profiler.java 0% 40 Missing ⚠️
...g/rascalmpl/interpreter/env/ModuleEnvironment.java 76% 2 Missing and 1 partial ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##              main   #2832   +/-   ##
=======================================
- Coverage       46%     46%   -1%     
- Complexity    6711    6729   +18     
=======================================
  Files          839     842    +3     
  Lines        66767   66843   +76     
  Branches      9983    9988    +5     
=======================================
+ Hits         30774   30791   +17     
- Misses       33613   33669   +56     
- Partials      2380    2383    +3     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 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.

@sonarqubecloud

Copy link
Copy Markdown

Quality Gate Failed Quality Gate failed

Failed conditions
C Maintainability Rating on New Code (required ≥ A)

See analysis details on SonarQube Cloud

Catch issues before they fail your Quality Gate with our IDE extension SonarQube for IDE

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant