Repository navigation

Draw a StateRefinement without from only from the states it leaves uncovered - #19

Merged

CatarinaGamboa merged 2 commits into

mainfrom

fix/to-without-from

Nov 10, 2026

Merged

Draw a StateRefinement without from only from the states it leaves uncovered#19
CatarinaGamboa merged 2 commits into
mainfrom
fix/to-without-from

Commits on Nov 10, 2026
- Draw a StateRefinement without from only from the states it leaves uncovered
  
  CatarinaGamboa
  and
  claude
  committed
  23a1d3b
- Name the fixture after what it tests, a StateRefinement without from beside others
  
  CatarinaGamboa
  and
  claude
  committed
  a904ec0