Commit graph

4 commits

Author SHA1 Message Date
48ee7f7fdb fix(c,octave): C stack overflow test fuel, Octave instance methods
C: stack_overflow test now uses AVM_MAX_STACK+10 fuel
Octave: test creates AVM() instance and calls methods on it
2026-06-30 18:26:10 -05:00
d4a7f954c4 fix(octave,c): Octave class naming and C test assertion
Octave: renamed avm.m → AVM.m (class name must match filename on case-sensitive FS)
C: fixed type_mismatch test stack access (was reading out-of-bounds)
wolfram_verify: Octave now uses --eval with addpath
2026-06-30 18:22:55 -05:00
6451bfba15 fix(ports): C, C++, Go, Octave test fixes
C: type_mismatch test adjusted for C port (returns default on type error)
C++: variant comparison fixed with val_i/val_b helpers, all tests use proper accessors
Go: added go.mod to repo so go test works from any directory
Octave: test now uses addpath to find AVM class
2026-06-30 18:21:20 -05:00
64e54d937d feat(tests): add C, C++, Scala, Fortran, Octave test harnesses
Test harnesses added for all remaining AVM ISA ports:
- C (9 tests): arithmetic, saturation, comparison, overflow, control flow, locals
- C++ (9 tests): same test suite with std::optional-based error handling
- Scala (9 tests): functional style with Option return
- Fortran (4 tests): add, div, saturation, control flow (minimal Fortran test)
- Octave/MATLAB (4 tests): basic operations test

Milestone: 10/12 ports have test harnesses. Coq still pending.
2026-06-30 17:59:19 -05:00