HF RL Explorer

b aux column not populated correctly for memory lookups in auxiliary trace

b aux column not populated correctly for memory lookups in auxiliary trace: a task in LegoFlow-SWE (Harbor dataset). In this sequence some stack‑originated requests and memory‑processor responses occur during the same VM cycle, and multiple distinct memory addresses are accessed. After building…

The task

In this sequence some stack‑originated requests and memory‑processor responses occur during the same VM cycle, and multiple distinct memory addresses are accessed. After building the auxiliary segment, `b_aux` is expected to:

Part of Lego-X/LegoFlow-SWE.