Skip to content

Commit ed46bf8

Browse files
Preserve inline linear extension replay
1 parent f7b1965 commit ed46bf8

1 file changed

Lines changed: 3 additions & 2 deletions

File tree

src/jacobian_checkers/finite_posets.py

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -551,9 +551,10 @@ def _replay_linear_extensions(
551551
source: dict[str, Any],
552552
result: dict[str, Any],
553553
) -> bool:
554-
if set(source) != {"poset"}:
554+
inline = _inline_poset_claim(source)
555+
if inline is None:
555556
return False
556-
poset = _parse_poset(source["poset"])
557+
poset = _parse_poset(inline)
557558
states = _linear_state_table(poset)
558559
full_mask = (1 << len(poset["elements"])) - 1
559560
expected = {

0 commit comments

Comments
 (0)