Skip to content

fix: make encoding of derived predicate invertible

838f43c
Select commit
Loading
Failed to load commit list.
Draft

Remove mapping, proposition names *are* PDDL ground fluents. Fix ambiguity in DP names #262

fix: make encoding of derived predicate invertible
838f43c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Feb 26, 2026 in 0s

88.84% (-0.96%) compared to dd7b158

View this Pull Request on Codecov

88.84% (-0.96%) compared to dd7b158

Details

Codecov Report

❌ Patch coverage is 94.20290% with 4 lines in your changes missing coverage. Please review.
✅ Project coverage is 88.84%. Comparing base (dd7b158) to head (838f43c).
⚠️ Report is 46 commits behind head on main.

Files with missing lines Patch % Lines
plan4past/__main__.py 0.00% 3 Missing ⚠️
plan4past/helpers/utils.py 97.22% 1 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #262      +/-   ##
==========================================
- Coverage   89.79%   88.84%   -0.96%     
==========================================
  Files          12       11       -1     
  Lines         549      484      -65     
==========================================
- Hits          493      430      -63     
+ Misses         56       54       -2     
Files with missing lines Coverage Δ
plan4past/compiler.py 98.18% <100.00%> (-0.24%) ⬇️
plan4past/utils/derived_visitor.py 100.00% <100.00%> (ø)
plan4past/utils/predicates_visitor.py 100.00% <100.00%> (ø)
plan4past/utils/rewrite_formula_visitor.py 100.00% <100.00%> (ø)
plan4past/utils/val_predicates_visitor.py 100.00% <100.00%> (ø)
plan4past/helpers/utils.py 97.77% <97.22%> (-2.23%) ⬇️
plan4past/__main__.py 0.00% <0.00%> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.