Repository navigation

Property and metamorphic test suite (2/4) - #24

Merged

Autoplectic merged 3 commits into

sofic-correctness-2from

sofic-property-tests

Oct 7, 2026

Merged

Property and metamorphic test suite (2/4)#24
Autoplectic merged 3 commits into
sofic-correctness-2from
sofic-property-tests

Commits on Oct 7, 2026
- Property and metamorphic test suite; fixes it found
  
  Ryan James
  and
  cursoragent
  committed
  9e03ace
- Make the bidirectional joint-class choice independent of float round-off
  
  Ryan James
  and
  cursoragent
  committed
  02d8eef
- CI: test with the symbolic extra; keep one job without it
  
  Ryan James
  and
  cursoragent
  committed
  53325ed