Skip to content

Extend arity to 30. - #2545

Open
strRM wants to merge 1 commit into
souffle-lang:masterfrom
strRM:rm/increase-arity
Open

Extend arity to 30.#2545
strRM wants to merge 1 commit into
souffle-lang:masterfrom
strRM:rm/increase-arity

Conversation

@strRM

@strRM strRM commented May 15, 2025

Copy link
Copy Markdown
Contributor

We a have need to increased BTree arity. We increase it to 30.

@strRM
strRM marked this pull request as ready for review May 15, 2025 18:24
@codecov

codecov Bot commented May 15, 2025

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.20%. Comparing base (d6dfcb1) to head (85f0637).
⚠️ Report is 14 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #2545      +/-   ##
==========================================
- Coverage   81.26%   81.20%   -0.06%     
==========================================
  Files         492      492              
  Lines       33370    33370              
==========================================
- Hits        27117    27098      -19     
- Misses       6253     6272      +19     
Files with missing lines Coverage Δ
src/interpreter/Util.h 100.00% <ø> (ø)

... and 4 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@strRM

strRM commented Jun 17, 2025

Copy link
Copy Markdown
Contributor Author

@quentin would you be able to also merge this one?

I'd like to find a better solution for this, but in the meantime, this will have to do.

This is all a bit suboptimal and it would be nice
to find a single compile-time knob to increase
arity. Alas, for now, we'll do it this way.
@strRM
strRM force-pushed the rm/increase-arity branch from 072af61 to 85f0637 Compare June 25, 2025 10:30
@strRM

strRM commented Jun 25, 2025

Copy link
Copy Markdown
Contributor Author

Looks like there is a problem with recent CI updates. Ought to be unrelated to this commit.

@quentin

quentin commented Jun 26, 2025

Copy link
Copy Markdown
Member

The failing tests in Windows is a known issue since Github runners switched to Windows 2025: #2548

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.

2 participants