Repository navigation

Show state errors in the State Machine view - #159

Merged

CatarinaGamboa merged 3 commits into

mainfrom

feat/155-state-errors-in-view

Oct 26, 2026

Merged

Show state errors in the State Machine view#159
CatarinaGamboa merged 3 commits into
mainfrom
feat/155-state-errors-in-view

Commits on Oct 25, 2026
- Keep the state error in the State Machine view and link it to the editor
  
  CatarinaGamboa
  and
  claude
  committed
  79accc2
- Open the State Machine view on the first state error of the file
  
  CatarinaGamboa
  and
  claude
  committed
  f3e6eba
- Use the verifier's error context in the state error test fixtures
  
  CatarinaGamboa
  and
  claude
  committed
  9fc9be9