Repository navigation

Keep the values expected depends on in the counterexample - #460

Merged

CatarinaGamboa merged 3 commits into

mainfrom

fix/counterexample-expected-vars

Nov 3, 2026

Merged

Keep the values expected depends on in the counterexample#460
CatarinaGamboa merged 3 commits into
mainfrom
fix/counterexample-expected-vars

Commits on Nov 3, 2026
- Keep the values expected depends on in the counterexample
  
  CatarinaGamboa
  and
  claude
  committed
  4de5915
- Split guards, list expected first and hide what found or Z3 alone can read
  
  CatarinaGamboa
  and
  claude
  committed
  18c5f32
- Show no counterexample when found fixes every value expected depends on
  
  CatarinaGamboa
  and
  claude
  committed
  b9d7e9b