Description
A full end-to-end test verifying Go/Rust bridge communication during a time-travel session.
Requirements
- Create
tests/integration/time_travel_test.go.
- Run a real Soroban contract simulation with
--snapshots.
- Programmatically 'Step' through the result and verify state snapshots.
Acceptance Criteria
- Simulation completes and returns valid snapshots.
- Step indices match the trace instruction offsets.
Estimated File Changes: 2 (tests/integration/time_travel_test.go, tests/fixtures/contracts/counter.rust)