stillwater-sc / universal / 21370064209

84%

master: 85%

Pull #499

github

Add comprehensive quire regression tests

- Create static/quire/ test directory with api/ and arithmetic/ subdirectories
- Add api.cpp demonstrating quire construction, assignment, accumulation,
  fused dot product (FDP), and conversion back to posit
- Add arithmetic.cpp with comprehensive tests for:
  - Assignment from zero, integers, floats, doubles, and posit values
  - Addition and subtraction operations with various sign combinations
  - Conversion tests including powers of 2 and round-trip verification
  - Exception tests for operand_too_large_for_quire and operand_too_small_for_quire
  - Fused dot product (FDP) tests using quire_mul for unrounded accumulation
- Tests cover posit<8,0>, posit<16,1>, and posit<32,2> configurations
- Use powers of 2 as test values to ensure exact representation across
  all posit configurations

Improves code coverage for:
- include/sw/universal/number/posit/quire.hpp
- include/sw/universal/number/quire/exceptions.hpp

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

130 of 156 new or added lines in 6 files covered. (83.33%)

33024 of 39283 relevant lines covered (84.07%)

6722728.46 hits per line