Skip to content

Add ADT packing helpers and interface tests - #2594

Open
quentin wants to merge 1 commit into
souffle-lang:masterfrom
quentin:pack-adt-public-api
Open

Add ADT packing helpers and interface tests#2594
quentin wants to merge 1 commit into
souffle-lang:masterfrom
quentin:pack-adt-public-api

Conversation

@quentin

@quentin quentin commented Jul 12, 2026

Copy link
Copy Markdown
Member

We get the request from time to time. Relates to #2055 and #2499

@codecov

codecov Bot commented Jul 12, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.32%. Comparing base (a1303be) to head (4c301ed).

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2594   +/-   ##
=======================================
  Coverage   81.31%   81.32%           
=======================================
  Files         492      492           
  Lines       31016    31016           
=======================================
+ Hits        25221    25223    +2     
+ Misses       5795     5793    -2     
Files with missing lines Coverage Δ
src/include/souffle/RecordTable.h 100.00% <ø> (ø)

... and 5 files with indirect coverage changes

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

@quentin
quentin force-pushed the pack-adt-public-api branch from 18d8e04 to 4c301ed Compare July 14, 2026 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant