-
Notifications
You must be signed in to change notification settings - Fork 661
Open
Labels
Description
Simulator failure type: panic
- Seed: 16381294289017073288
- Git Hash: e0062d5
- Command:
limbo-sim --seed 16381294289017073288 --disable-bugbase --io-backend=default --differential --minimum-tests 100 --maximum-tests 1000 - Timestamp: 2025-12-27T07:42:13.460Z
Run locally with Docker
git checkout e0062d566dd1cbec9c67189f738797ad03e1d27d
docker buildx build -t limbo-sim:e0062d5 -f simulator-docker-runner/Dockerfile.simulator . --build-arg GIT_HASH=$(git rev-parse HEAD)
docker run --network host limbo-sim:e0062d5 --seed 16381294289017073288 --disable-bugbase --io-backend=default --differential --minimum-tests 100 --maximum-tests 1000
Stack Trace
ERROR execute_interaction_turso{conn_index=5 interaction=COMMIT; -- 5}: limbo_sim: 171: Transaction table should exist
ERROR execute_interaction_turso{conn_index=5 interaction=COMMIT; -- 5}: limbo_sim: 177: captured backtrace:
0: {closure#0}
at ./simulator/main.rs:176:18
1: <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/alloc/src/boxed.rs:1980:9
2: std::panicking::rust_panic_with_hook
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/panicking.rs:841:13
3: std::panicking::begin_panic_handler::{{closure}}
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/panicking.rs:706:13
4: std::sys::backtrace::__rust_end_short_backtrace
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/sys/backtrace.rs:168:18
5: __rustc::rust_begin_unwind
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/panicking.rs:697:5
6: core::panicking::panic_fmt
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/core/src/panicking.rs:75:14
7: core::panicking::panic_display
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/core/src/panicking.rs:269:5
8: core::option::expect_failed
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/core/src/option.rs:2049:5
9: expect<&sql_generation::model::table::Table>
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/core/src/option.rs:958:21
10: apply_snapshot
at ./simulator/runner/env.rs:409:30
11: shadow
at ./simulator/model/mod.rs:584:9
12: shadow
at ./simulator/model/mod.rs:187:41
13: shadow
at ./simulator/model/interactions.rs:570:35
14: execute_interaction_turso
at ./simulator/runner/execution.rs:307:13
15: execute_interaction
at ./simulator/runner/execution.rs:186:47
16: execute_plan
at ./simulator/runner/execution.rs:161:9
17: execute_interactions<limbo_sim::generation::plan::PlanGenerator<rand_chacha::chacha::ChaCha8Rng>>
at ./simulator/runner/differential.rs:94:25
18: run_simulation<limbo_sim::generation::plan::PlanGenerator<rand_chacha::chacha::ChaCha8Rng>>
at ./simulator/runner/differential.rs:43:18
19: run_simulation<limbo_sim::generation::plan::PlanGenerator<rand_chacha::chacha::ChaCha8Rng>>
at ./simulator/main.rs:487:13
20: {closure#1}
at ./simulator/main.rs:196:17
21: do_call<limbo_sim::run_simulator::{closure_env#1}, limbo_sim::runner::execution::ExecutionResult>
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/panicking.rs:589:40
22: try<limbo_sim::runner::execution::ExecutionResult, limbo_sim::run_simulator::{closure_env#1}>
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/panicking.rs:552:19
23: catch_unwind<limbo_sim::run_simulator::{closure_env#1}, limbo_sim::runner::execution::ExecutionResult>
at /rustc/6b00bc3880198600130e1cf62b8f8a93494488cc/library/std/src/panic.rs:359:14