thanos / ex_datalog / bff7b93108fa68663c9cf2af414f3a12934e5026-PR-86 / 1
94%
main: 94%

LAST BUILD BRANCH: v0.2.0/Constraint-Storage_Foundations
DEFAULT BRANCH: main
Ran
Files 33
Run time 2s
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
coverage: 90.803% (-1.2%) from 91.979%
bff7b93108fa68663c9cf2af414f3a12934e5026-PR-86.1

Pull #86

github

thanos 
Key changes:
- constraint.ex — 6 new constructors, 3 new op categories, import Kernel, except: [is_integer: 1, is_binary: 1, is_atom: 1], valid_right?/2 for unary constraints, dispatch entries
- ir.ex — from_constraint/1 handles right: nil, from_term/1 handles list constants
- term.ex — const/1 and valid?/1 accept lists for membership
- capabilities.ex — type_predicates and string_predicates default to true
Verification: 509 tests, 0 failures / credo: 0 failures (3 intentional naming warnings) / dialyzer: 0 warnings / formatter: clean

Closed

 - closed #106 Create test files for Type, String, Membership constraints and write Phase 4 review guide
 - closed #105 Update capabilities.ex defaults for type_predicates and string_predicates
 - closed #104 Update validator/safety.ex for unary and membership constraints
 - closed #103 Update ir.ex to handle unary constraints in from_constraint/1
 - closed #102 Create constraints/membership.ex for :member
 - closed #101 Create constraints/type.ex for :is_integer, :is_binary, :is_atom
 - closed #100 Create constraints/string.ex for :starts_with, :contains
 - closed #99 Add new ops, constructors, types, validation, and dispatch to constraint.ex
 - closed #98 Phase 4 — Built-in Pure Constraints
Pull Request #86: V0.2.0/constraint storage foundations

859 of 946 relevant lines covered (90.8%)

122.99 hits per line

Source Files on job bff7b93108fa68663c9cf2af414f3a12934e5026-PR-86.1