You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
engine: uncomment vector.xmile integration test after #355 #358
The vector.xmile integration test in src/simlin-engine/tests/simulate.rs (line 869) is commented out and must remain disabled until two dependencies are resolved:
Cross-dimension VECTOR ELM MAP support: The test uses VECTOR ELM MAP(b[B1], a[DimA]) where the source array b is subscripted by dimension B, but it's used in a context where dimension A is expected. The compiler cannot resolve this dimension mismatch. This requires either element-level subscript flattening or a new cross-dimension indexing strategy.
Problem
The vector.xmile integration test in
src/simlin-engine/tests/simulate.rs(line 869) is commented out and must remain disabled until two dependencies are resolved:Cross-dimension VECTOR ELM MAP support: The test uses
VECTOR ELM MAP(b[B1], a[DimA])where the source arraybis subscripted by dimension B, but it's used in a context where dimension A is expected. The compiler cannot resolve this dimension mismatch. This requires either element-level subscript flattening or a new cross-dimension indexing strategy.VM support for vector operations: The vector operations (
VECTOR SELECT,VECTOR ELM MAP,VECTOR SORT ORDER) andALLOCATE AVAILABLEare currently implemented only in the interpreter, not in the VM bytecode compiler/executor (issue engine: vector operations and ALLOCATE AVAILABLE are interpreter-only, not in VM #355).The vector_simple subset (which avoids cross-dimension indexing) passes via the separate
simulates_vector_simple_mdltest.Why it matters
Component(s) affected
src/simlin-engine/tests/simulate.rs(test suite)src/simlin-engine/src/compiler/(dimension checking/inference)src/simlin-engine/src/vm.rs(vector operation opcodes, once engine: vector operations and ALLOCATE AVAILABLE are interpreter-only, not in VM #355 is complete)Acceptance criteria
This test can be uncommented and enabled once:
Then:
Context
Identified while reviewing test coverage in src/simlin-engine/tests/simulate.rs after the MDL full-compat merge.