Repository navigation

test: replace no-value tests with exact oracles (#370) - #403

Merged

thedavidmeister merged 10 commits into

mainfrom

Oct 10, 2026

Merged

test: replace no-value tests with exact oracles (#370)#403
thedavidmeister merged 10 commits into
mainfrom
fix/370-oracle

Commits on Oct 9, 2026
- test: replace not-revert checks with exact oracles (#370)
  
  baku-ccron
  and
  claude
  committed
  e1527ca
- Merge remote-tracking branch 'origin/main' into fix/370-oracle
  baku-ccron
  committed
  d24e3a7
- test: assert add's exact rule; leave the shed value to #363
  
  baku-ccron
  and
  claude
  committed
  6fdb1a0
- test: fuzz div by the largest Float near the int256 floor
  
  baku-ccron
  and
  claude
  committed
  b7a9edb
- test: div by the largest Float keeps the one unit at the floor
  
  baku-ccron
  and
  claude
  committed
  749f461
- audit: record the #370 mutation scan
  
  baku-ccron
  and
  claude
  committed
  93f0c10
- Merge origin/main into fix/370-oracle
  
  baku-ccron
  and
  claude
  committed
  0afe3dd
- audit: record the #370 shed-value mutation scan after #414
  
  baku-ccron
  and
  claude
  committed
  712fb21
Commits on Oct 10, 2026
- Merge origin/main into fix/370-oracle
  
  baku-ccron
  and
  claude
  committed
  5f5856a
- Merge remote-tracking branch 'origin/main' into fix/370-oracle
  baku-ccron
  committed
  a413a23