• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

thanos / ex_datalog / 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86
94%
main: 94%

Build:
Build:
LAST BUILD BRANCH: v0.2.0/Constraint-Storage_Foundations
DEFAULT BRANCH: main
Ran 15 May 2026 02:04PM UTC
Jobs 1
Files 33
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

15 May 2026 02:03PM UTC coverage: 93.548% (+1.6%) from 91.979%
42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86

Pull #86

github

thanos
Completed in this session

Medium issues:
 - M2: Changed @callback evaluate and all @spec evaluate from map() to Binding.t() across all 5 constraint modules + constraint.ex
 - M4: Replaced false "extensibility" claim with accurate description of closed dispatch
 - M7: Refactored conformance macro to pass backend module directly via unquote instead of injecting alias/@schemas into the caller

Low issues:
 - L2: Added Logger.debug for unknown relation in both Storage.Map.size/2 and Storage.ETS.size/2
 - L3: Extracted build_result/8 and emit_result_telemetry/5 from do_evaluate_inner
 - L4: Widened teardown callback return type to :ok | {:error, term()}
 - L5: Added :set rationale section to ETS moduledoc
 - L6: Widened from_backend spec from {module(), term()} to {atom(), term()}
 - L7: Added alias ExDatalog.IR to constraint.ex and used IR.from_constraint/1 instead of full path

Fix also: Telemetry test emit_stop/4 call updated to emit_stop/5 with explicit storage type (leftover from prior M9 fix)
601 tests, 0 failures, credo clean, dialyzer clean, formatter clean.
Pull Request #86: V0.2.0/constraint storage foundations

193 of 207 new or added lines in 15 files covered. (93.24%)

5 existing lines in 1 file now uncovered.

870 of 930 relevant lines covered (93.55%)

143.83 hits per line

Uncovered Changes

Lines Coverage ∆ File
7
91.57
lib/ex_datalog/storage/ets.ex
3
84.38
-4.51% lib/ex_datalog/ir.ex
1
90.0
lib/ex_datalog/constraints/arithmetic.ex
1
92.9
-0.2% lib/ex_datalog/engine/naive.ex
1
89.36
0.73% lib/ex_datalog/storage/map.ex
1
94.44
-5.56% lib/ex_datalog/term.ex

Coverage Regressions

Lines Coverage ∆ File
5
92.9
-0.2% lib/ex_datalog/engine/naive.ex
Jobs
ID Job ID Ran Files Coverage
1 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86.1 15 May 2026 02:04PM UTC 33
93.55
GitHub Action Run
Source Files on build 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86
  • Tree
  • List 33
  • Changed 10
  • Source Changed 0
  • Coverage Changed 10
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Pull Request #86
  • PR Base - main (#A3E6C7D1...)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc