bin-runner #36
1 changed files with 47 additions and 3 deletions
|
|
@ -185,10 +185,54 @@
|
|||
- Added 4 tests (1 property): same ptr overwrite, nested block/br, memory.size instruction, lifecycle fuzz
|
||||
- All 166 tests pass
|
||||
|
||||
## Cycle 40 — Pre-Filled Memory, Engine Clone, i64 Ops, 200-Actor Stress
|
||||
- Added 4 tests: host overwrites pre-filled memory, cloned engine works, i64 arithmetic, 200 actors
|
||||
- All 170 tests pass
|
||||
|
||||
## Cycle 41 — Address-Only Msg, Last Byte, Overlapping Alloc, Wrong Name, Fan-In
|
||||
- Added 5 tests: 32-byte message, write offset 65535, static alloc overwrite, "heap" export, 5-inbox fan-in
|
||||
- All 175 tests pass
|
||||
|
||||
## Cycle 42 — Internal Calls, Raw WAT, Build-Discard, Float Ops, Empty Bytes
|
||||
- Added 5 tests: helper functions composed, WAT-compiled silent, 100 build+drop, f64 arithmetic, empty bytes error
|
||||
- All 180 tests pass
|
||||
|
||||
## Cycle 43 — Funcref Table, Concurrent Build, memory.copy, Error Traits
|
||||
- Added 4 tests: call_indirect through funcref table, 4-thread concurrent build, bulk memory.copy, Send+Sync check
|
||||
- All 184 tests pass
|
||||
|
||||
## Cycle 44 — All 256 Bytes, memory.fill, Watched Actor, Double 0xFF
|
||||
- Added 4 tests: all byte values round-trip, memory.fill response, watched actor lifecycle, double with 0xFF
|
||||
- All 188 tests pass
|
||||
|
||||
## Cycle 45 — 4KB Round-Trip, Payload Length, Odd Alignment, Idle Ticks
|
||||
- Added 5 tests: 4KB payload, guest reports length, alloc returns 1, engine clone debug, 500 idle ticks
|
||||
- All 193 tests pass
|
||||
|
||||
## Cycle 46 — 200 TEST MILESTONE
|
||||
- Added 7 tests (1 property): mixed WASM+native, byte sum, single byte echo, no-function module, size-varying response, determinism property, all-guest lifecycle
|
||||
- **200 tests pass milestone**
|
||||
|
||||
## Cycle 47 — Page Boundary Exact/OOB, Multiple Runtimes, Full Message Mirror
|
||||
- Added 4 tests: exact page boundary alloc, 1 past boundary drops, two runtimes, full msg mirror
|
||||
- All 204 tests pass
|
||||
|
||||
## Cycle 48 — Self-Send, Bit Rotation, Bit Counting, Selective Stop
|
||||
- Added 4 tests: self-send bounce, i32.rotl, clz/ctz/popcnt, stop every other actor
|
||||
- All 208 tests pass
|
||||
|
||||
## Cycle 49 — i32 Store/Load, eqz, Silent 1000-Msg, Pre-Tick Delivery
|
||||
- Added 4 tests: LE i32 store/load, eqz instruction, silent processes 1000 msgs, pre-tick delivery
|
||||
- All 212 tests pass
|
||||
|
||||
## Cycle 50 — Modulo, 8KB Echo, Duplicate Sends, Full Lifecycle Fuzz
|
||||
- Added 4 tests (1 property): i32.rem_u, 8KB round-trip, 5 duplicate sends, combined lifecycle fuzz
|
||||
- All 216 tests pass
|
||||
|
||||
## Campaign Summary (ongoing)
|
||||
- **44 commits** on bin-runner branch (3 bug fixes + 41 test commits)
|
||||
- **166 tests** (151 scenario + 12 property + 3 compile-time checks)
|
||||
- **55 commits** on bin-runner branch (3 bug fixes + 52 test commits)
|
||||
- **216 tests** (198 scenario + 14 property + 4 compile-time checks)
|
||||
- **3 bugs found and fixed** in core WASM actor code and runtime
|
||||
- **2 flaky MT tests fixed** with retry polling
|
||||
- **~6,100 lines** of test code
|
||||
- **7,645 lines** of test code
|
||||
- Implementation proved extremely robust after initial 3 bug fixes
|
||||
|
|
|
|||
Loading…
Reference in a new issue