thanos / ex_datalog / fd438e0c82ec55e7a3cc6427163794117bbb688a-PR-86

94%

main: 94%

Build Type

Pull #86

github

Committed by thanos

Commit Message

All clean. Evaluator coverage increased from 71.4% to 94.6% with 18 new tests covering:
- Fact rules (k=0 path) with constraints
- Empty delta optimization
- Multi-atom bodies with old/delta positions
- Constraint + negation combined in multi-atom bodies
- Type predicate, string predicate, and membership constraints in evaluation
- Additional check_negative_atom/3 edge cases (wildcards, multiple matches, missing relations)

Pull Request Pull Request #86: V0.2.0/constraint storage foundations

Coverage Stats

190 of 213 new or added lines in 15 files covered. (89.2%)

16 existing lines in 4 files now uncovered.

881 of 951 relevant lines covered (92.64%)

125.07 hits per line