limbo/simulator/model
Jussi Saurio 87f9cb71c7 sim: fix apply_snapshot for create table and create index
have to leave for train soon, so claude summary:

Changes in runner/env.rs:
  1. Renamed RowOperation to TxOperation
  2. Fixed the CreateTable variant to store the full Table instead of separate fields
  3. Added CreateIndex and DropIndex variants
  4. Added corresponding record_* methods to both TransactionTables and ShadowTablesMut
  5. Updated apply_snapshot() to handle CreateTable, CreateIndex, and DropIndex operations in order
  6. Removed the index sync loop at the end of apply_snapshot() since operations are now tracked properly

  Changes in model/mod.rs:
  1. Updated Shadow for Create to call record_create_table() before applying the change
  2. Updated Shadow for CreateIndex to call record_create_index() before applying the change
  3. Updated Shadow for DropIndex to call record_drop_index() before applying the change

  The core fix is that CreateTable and CreateIndex operations are now recorded as they happen, so when apply_snapshot() replays operations in order, subsequent operations like AlterTable find the table already created in committed_tables.
2025-12-20 07:51:24 +02:00
..
interactions.rs refactor simulator to use new helpers 2025-12-19 17:20:46 -03:00
metrics.rs move interaction stats to metrics 2025-11-17 11:45:02 -03:00
mod.rs sim: fix apply_snapshot for create table and create index 2025-12-20 07:51:24 +02:00
property.rs - add Interaction Builder to simplify code for building an interaction. 2025-11-17 11:45:02 -03:00